Difference between revisions of "MediaWiki:Common.css"

Revision as of 22:15, 30 October 2006

/* 
<pre>
*/

span.minor {
    font-style:italic;
    font-weight:normal;
}

#googleSearch {
    width: 10.9em;
    margin: 0;
    font-size: 95%;
}

#search_string  {
    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>
*/