diff options
author | Dominic Spill <dominicgs@gmail.com> | 2012-10-12 00:50:56 +1100 |
---|---|---|
committer | Dominic Spill <dominicgs@gmail.com> | 2012-10-12 00:50:56 +1100 |
commit | c8d0f6ec13b29e8b8a0166ffe91857ed945f7cd2 (patch) | |
tree | b7f840995a8c27b63ad7eba19178f09c7a81bf54 /web | |
parent | d0d3cde8bf9ec223d7ce21339fc38150bcd51cc8 (diff) |
Tweak documentation style for code snippets in the build guide
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;*/ } |