diff options
Diffstat (limited to 'styles')
| -rw-r--r-- | styles/style.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/styles/style.css b/styles/style.css index ce546546..581ffe53 100644 --- a/styles/style.css +++ b/styles/style.css @@ -9,13 +9,19 @@ body, table { .keyword { color:black; + font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal; + font-size:12px; } .symbol { + font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal; + font-size:12px; } .identifier { color: darkblue; + font-size:12px; + font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal; } h1, h2, h3, h4, h5, h6 { |