No edit summary |
No edit summary |
||
Line 2: | Line 2: | ||
code, pre { | code, pre { | ||
border: none; | border: none; | ||
line-height: 1. | line-height: 1.3em; | ||
overflow: auto; | overflow: auto; | ||
white-space: pre; | white-space: pre; | ||
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-top: 3px;*/ | ||
padding-bottom: 3px; | padding-bottom: 3px; | ||
} | } | ||
Line 27: | Line 27: | ||
{ | { | ||
font-size:0.8em; | font-size:0.8em; | ||
margin-left: | margin-left:10px; | ||
} | } |
Revision as of 16:57, 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: 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:10px; }