gistfile1.txt

div.outer.center {
    width: 100%;
    height: 898px;
}

div.inner.center {
    height: 898px;
    width: 98%;
}

#screen {
    height: 800px;
    width: 1175px;
}

#examples {
    height: 670px;
}

td.side.left {
    font-family: monospace;
    font-size: 11px;
    overflow: visible;
}

#sfxcode {
    font-size: 10px;
}