/* Copyright 2004, Rajiv Shivane. All Rights Reserved. */

/*
 * Cascading Style Sheet to control the style of all the
 * span tags generated by JSCC.
 */

pre {
    background-color : #fffff7; 
    border-style : solid; 
    border-width : 1px; 
    border-color : red; 
    font-family : "courier new", "courier", "monospace"; 
    font-size : 9pt; 
    padding : 10px; 
    line-height : normal; 
}

.jsccKeyword {
    color : #000080; 
    font-weight : bold; 
}

.jsccPrimitive { 
    color : #000080; 
    font-weight : bold; 
}

.jsccComment {
    color : #808080; 
    font-style : italic; 
}

.jsccLiteral {
    color : #008800; 
    font-weight : bold; 
}

.jsccBlockBody {
}

.jsccBlockOpen, .jsccBlockClose {
    font-weight : bold; 
    color: blue;
    cursor /**/: pointer; /* lousy IE hack */
    cursor: hand;
    text-decoration : none; 
    border : 1px hidden white; 
}