diff options
author | José Mota <josemota.net@gmail.com> | 2012-04-08 20:28:39 +0100 |
---|---|---|
committer | José Mota <josemota.net@gmail.com> | 2012-04-08 20:31:10 +0100 |
commit | 6ce6a1f1f45889acf68ad2fd0ee5a5a39d8ca9ba (patch) | |
tree | 87b4963307f741408e4d51713bd8846fec4ee615 /css/main.css | |
parent | c8b1a38fe22aaa8e4f6cf3e1dee97863b586679d (diff) |
Add CSS for code highlighting.
Diffstat (limited to 'css/main.css')
-rw-r--r-- | css/main.css | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/css/main.css b/css/main.css index 6d30392..0089f27 100644 --- a/css/main.css +++ b/css/main.css @@ -24,13 +24,18 @@ h2 { p + p { text-indent: 1.4em; } -p, ul, ol { +p, ul, ol, pre { margin-top: 1em; } blockquote { margin: 18px; } +pre, code { + font-family: Monaco, Menlo, DejaVu Sans Mono, monospace; + font-size: 93%; +} + aside { margin-left: -170px; float: left; |