3,897
edits
Changes
Jump to navigation
Jump to search
no edit summary
pre.tex { color:#000000; }
pre span.documentcs { color:#00007F; }
pre span.stylecs { color:#007F00; }
pre span.systemcs { color:#007F00; }
pre span.cs { color:#007F00; }
pre span.def { color:#00007F; }
