diff options
Diffstat (limited to 'src/pretty.css')
-rw-r--r-- | src/pretty.css | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/pretty.css b/src/pretty.css index 2066874..8895690 100644 --- a/src/pretty.css +++ b/src/pretty.css @@ -25,6 +25,16 @@ div.othercredit { font-size: smaller; } +span.permalink { + font-size: smaller; + margin-left: 0.5em; +} + +span.permalink>a { + color: #444; + text-decoration: none; +} + h2 { margin-top: 2.5em; } @@ -47,7 +57,7 @@ h5 { } /* normalise size with command */ -code { +p>code { font-size: 14px; } |