3,897
edits
Changes
Jump to navigation
Jump to search
m
add a 'fourth' class
<pre>
*/
.first { background-color:#00FFFF; }
.second { background-color:#CCFF66; }
.third { background-color:#FF6FCF; }
.fourth { background-color:#FFFF66; }
.cmd { font-family:monospace; }
.annot { font-family:sans-serif; margin-top:1cm; }
.large { font-size: 24pt; }
span.minor {
#googleSearch {
width: 10.9em;
margin: 0;
font-size: 95%;
}
#search_string {
width: 10.9em;
margin: 0;
