No edit summary |
No edit summary |
||
Line 22: | Line 22: | ||
padding-top: 3px; | padding-top: 3px; | ||
padding-bottom: 3px; | padding-bottom: 3px; | ||
} | |||
div.code span.code_select | |||
{ | |||
font-size:0.7em; | |||
} | } |
Revision as of 16:53, 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: 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.7em; }