No edit summary |
No edit summary |
||
Line 22: | Line 22: | ||
padding-top: 3px; | padding-top: 3px; | ||
padding-bottom: 3px; | padding-bottom: 3px; | ||
margin-top:1px | |||
} | } | ||
div.code span.code_select | div.code span.code_select | ||
{ | { | ||
font-size:0.9em; | font-size:0.9em; | ||
margin-left:10px; | margin-left:10px; | ||
} | } |
Revision as of 17:07, 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.3em; overflow: auto; white-space: pre; font-size: 8pt; padding: none; } div.code { margin-top: 0px; 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; margin-top:1px } div.code span.code_select { font-size:0.9em; margin-left:10px; }