diff options
Diffstat (limited to 'web')
-rw-r--r-- | web/content/stylesheet.css | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/web/content/stylesheet.css b/web/content/stylesheet.css index 1d68aa9..a71e4d1 100644 --- a/web/content/stylesheet.css +++ b/web/content/stylesheet.css @@ -115,10 +115,12 @@ a[name]:hover { line-height: 20px; } -pre { +pre, +pre a { /*margin: 1em 1em 1em 1.6em;*/ - font-family: monospace; + font-family: 'Courier New', Courier, monospace; + font-size: small; padding: 2px 2px 2px 0; - background-color: #FAFAFA; - border: 1px solid #DADADA; + /*background-color: #FAFAFA;*/ + /*border: 1px solid #DADADA;*/ } |