diff options
Diffstat (limited to '')
| -rw-r--r-- | source/blog/2015-06-12-the-tip-of-the-iceberg.md | 2 | ||||
| -rw-r--r-- | source/css/theme.css | 12 |
2 files changed, 12 insertions, 2 deletions
diff --git a/source/blog/2015-06-12-the-tip-of-the-iceberg.md b/source/blog/2015-06-12-the-tip-of-the-iceberg.md index bf4565f8..e5a747ab 100644 --- a/source/blog/2015-06-12-the-tip-of-the-iceberg.md +++ b/source/blog/2015-06-12-the-tip-of-the-iceberg.md @@ -7,6 +7,8 @@ date-display: June 12, 2015 *By the way, I'm not sure if I'm going to stand by this post when I wake up tomorrow morning. It will stay either way, though.* +--- + [^not-shaming]: In this case the campaign is too civilized to be called a shaming campaign. [^judge]: And I question if most shamers did. diff --git a/source/css/theme.css b/source/css/theme.css index c31ce02e..b692f963 100644 --- a/source/css/theme.css +++ b/source/css/theme.css @@ -22,6 +22,10 @@ article { text-align: justify; } +article code { + font-size: 10.5pt; +} + h1.title { text-align: center; font-size: 18pt; @@ -51,7 +55,7 @@ h3 { } code { - font-family: 'Consolas', 'Monaco', 'Andale Mono', 'Courier', monospace; + font-family: 'Droid Sans Mono', 'Courier', monospace; font-weight: thin; } @@ -68,7 +72,7 @@ pre[class*=sourceCode] { } pre code { - font-size: 10.5pt; + font-size: 10pt; } .line-number { @@ -101,6 +105,10 @@ div.footnotes { font-size: 10pt; } +div.footnotes code { + font-size: 9.5pt; +} + img { display: block; max-width: 100%; |