- Timestamp:
- 02/18/11 11:08:32 (15 months ago)
- Files:
-
- 1 modified
-
trunk/src/resources/main.css (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/resources/main.css
r745 r748 2 2 body { font-family: Helvetica, sans-serif; font-size: 12pt; margin: 0; padding: 0; } 3 3 div.content { padding: 1em; } 4 p { line-height: 1. 2; }4 p { line-height: 1.4; } 5 5 td p { padding-bottom: 0.5em; } 6 6 img { border: 0; } … … 38 38 font-family: Verdana, Helvetica, sans-serif; 39 39 font-size: 8pt; 40 font-weight: bold; 40 font-weight: bold; 41 color: #5070ff; 41 42 text-transform: uppercase; 42 43 float: right; … … 49 50 /* code styles */ 50 51 code { font-family: Monaco, "Courier New", Courier, monospace; } 51 code.listing { white-space: pre; display: block; padding: 0.1em 3em 0.1em 1em; font-size: 90%; }52 code.listing { white-space: pre; display: block; margin: -0.75em 0 -0.75em 0; padding: 0 3em 0 1em; font-size: 90%; line-height: 1.4em; } 52 53 code.source { white-space: pre; display: block; font-size: 90%; } 53 54 code.source span.comments { color: #408080; }
