pre {
    padding: 1em;
    background-color: #F2F2F2;
}
code {
    font-size: 1.2em;
    background-color: #F2F2F2;
}

#mainmenu {
    margin: 1em 0 0 0;
}
table {
    border-collapse: collapse;
    font-size: 12px;
}

td, th {
    padding: 0.5em;
    border: 1px solid #CCC;
}

thead, tfoot {
    background-color: #DDD;
}

tr.rowodd {
    background-color: #FFF;
}

tr.roweven {
    background-color: #F2F2F2;
}

th.resize-handle-active {
    cursor: e-resize;
}

div.resize-handle {
    cursor: e-resize;
    width: 2px;
    border-right: 1px dashed #1E90FF;
    position:absolute;
    top:0;
    left:0;
}
