No edit summary |
No edit summary |
||
Line 27: | Line 27: | ||
{ | { | ||
font-size:0.8em; | font-size:0.8em; | ||
margin-left:3px; | |||
} | } |
Revision as of 16:54, 13 April 2011
/* Begin code tag section This section is to make the {{code}} template look better. Revisit this if we can get the <code> tag rewritten */ code, pre { border: none; line-height: 1.2em; overflow: auto; white-space: pre; font-size: 8pt; padding: none; } div.code { margin-top: 0.1em; margin-bottom: 1em; border-top: 0; border-bottom: 0; } div.code pre { border-top: solid gray 1px; border-bottom: solid gray 1px; padding-top: 3px; padding-bottom: 3px; } div.code span.code_select { font-size:0.8em; margin-left:3px; }