diff options
Diffstat (limited to 'guides/assets/stylesheets')
| -rw-r--r-- | guides/assets/stylesheets/main.css | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/guides/assets/stylesheets/main.css b/guides/assets/stylesheets/main.css index bfd56a4578..a30e12fe7e 100644 --- a/guides/assets/stylesheets/main.css +++ b/guides/assets/stylesheets/main.css @@ -24,7 +24,7 @@ dl dt { font-weight: bold; } dd { margin-left: 1.5em;} pre,code { margin: 1.5em 0; overflow: auto; color: #222;} -pre,code,tt { +pre,code { font-size: 1em; font-family: "Anonymous Pro", "Inconsolata", "Menlo", "Consolas", "Bitstream Vera Sans Mono", "Courier New", monospace; line-height: 1.5; @@ -156,6 +156,7 @@ a, a:link, a:visited { } #mainCol a, #subCol a, #feature a {color: #980905;} +#mainCol a code, #subCol a code, #feature a code {color: #980905;} /* Navigation @@ -400,7 +401,7 @@ div.code_container { margin: 0.25em 0 1.5em 0; } -.note tt, .info tt, .todo tt {border:none; background: none; padding: 0;} +.note code, .info code, .todo code {border:none; background: none; padding: 0;} #mainCol ul li { list-style:none; |