Changeset 745
- Timestamp:
- 02/18/11 09:22:28 (15 months ago)
- Files:
-
- 1 modified
-
trunk/src/resources/main.css (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/resources/main.css
r744 r745 49 49 /* code styles */ 50 50 code { font-family: Monaco, "Courier New", Courier, monospace; } 51 code.listing { white-space: pre; display: block; padding: 0. 5em 3em 0.5em 1em; font-size: 90%; }51 code.listing { white-space: pre; display: block; padding: 0.1em 3em 0.1em 1em; font-size: 90%; } 52 52 code.source { white-space: pre; display: block; font-size: 90%; } 53 53 code.source span.comments { color: #408080; }
