li { 
        margin-bottom: 10px; 
} 

ol ol ol { 
        list-style-type: decimal; 
} 

#corner_graphic { 
        background: url('/images/smonkey3.gif') no-repeat center center;
}


/* for /FAQ/login/ssh/index.html */
a span {
        display: none;
}

#putty, #macssh { 
        display: block;
        float: right;
        text-decoration: none;
        border: 0px; 
}

#putty {
        background: url("/images/FAQ/putty-conf.jpg");
        width: 276px; 
        height: 376px;
} 

#macssh { 
        background: url("/images/FAQ/macssh2-small.gif");
        width: 276px;
        height: 179px; 
}