534 bytes added
, 22:21, 3 July 2006
/*
<pre>
*/
span.minor {
font-style:italic;
font-weight:normal;
}
#googleSearch {
width: 10.9em;
margin: 0;
font-size: 95%;
}
#bodyContent a[href ^="javascript:"] {
background: none;
padding: 0px;
text-decoration: none ;
}
/* pg: new markup <texcode>..</texcode> */
pre.tex { color:#000000; }
pre span.cs { color:#0000FF; }
pre span.def { color:#FF0000; }
pre span.comment { color:#333333; }
pre span.br { color:red; }
pre.xml { color:#000000; }
pre span.name { color:blue; }
/*
</pre>
*/