- Timestamp:
- 08/25/11 12:13:03 (9 months ago)
- Files:
-
- 1 modified
-
trunk/src/resources/main.css (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/resources/main.css
r749 r756 50 50 /* code styles */ 51 51 code { font-family: Monaco, "Courier New", Courier, monospace; } 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 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; } 53 53 code.source { white-space: pre; display: block; font-size: 90%; } 54 54 code.source span.comments { color: #408080; }
