No edit summary |
No edit summary |
||
Line 10: | Line 10: | ||
div.code | div.code | ||
{ | { | ||
margin-top: | margin-top: 0px; | ||
margin-bottom: 1em; | margin-bottom: 1em; | ||
border-top: 0; | border-top: 0; | ||
Line 20: | Line 20: | ||
border-top: solid gray 1px; | border-top: solid gray 1px; | ||
border-bottom: solid gray 1px; | border-bottom: solid gray 1px; | ||
padding-top: 3px; | |||
padding-bottom: 3px; | padding-bottom: 3px; | ||
} | } | ||
Line 26: | Line 26: | ||
div.code span.code_select | div.code span.code_select | ||
{ | { | ||
font-size:0. | padding-top:3px; | ||
font-size:0.9em; | |||
margin-left:10px; | margin-left:10px; | ||
} | } |
Revision as of 17:04, 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; } div.code span.code_select { padding-top:3px; font-size:0.9em; margin-left:10px; }