div#computer 
{
    padding: 0 10px 10px 10px;
    background: #000;
    border: 3px double #0f0;
    font-family: monospace;
    color: #0f0;
    font-size: 12px;
}

div#computer a { color: #090; }
div#computer div.logo { border-bottom: 3px double #0f0; }
div#computer div.logo pre { margin-top: 0; }
div#computer div.toolbar { padding-top: 5px; border-top: 3px double #0f0; }
div#computer div.toolbar p { margin-bottom: 0px; }

div#computer div.desktop
{
    height: 300px;
    overflow: auto;
    padding: 10px 0;
}

div#computer p
{
    margin: 0 0 15px 0;
    padding: 0;
}