diff options
| -rwxr-xr-x | pyblog | 6 | ||||
| -rw-r--r-- | source/blog/2015-06-12-the-tip-of-the-iceberg.md | 2 | ||||
| -rw-r--r-- | source/css/theme.css | 12 | ||||
| -rw-r--r-- | templates/template.html | 1 |
4 files changed, 16 insertions, 5 deletions
@@ -576,12 +576,12 @@ def _pre_tag_insert_line_numbers(soup, pre_tag): num_lines = len(pre_tag.text.split("\n")) for line_number in range(1, num_lines + 1): # line number divs will look like: - # <span class="line-number" data-line="1" style="top: 0px"><!----></span> - # <span class="line-number" data-line="2" style="top: 18px"><!----></span> + # <span class="line-number" data-line="1" style="top: 1px"><!----></span> + # <span class="line-number" data-line="2" style="top: 19px"><!----></span> ln_tag = soup.new_tag("span") ln_tag["class"] = "line-number" ln_tag["data-line"] = line_number - ln_tag["style"] = "top: %dpx" % ((line_number - 1) * CODE_LINE_HEIGHT) + ln_tag["style"] = "top: %dpx" % ((line_number - 1) * CODE_LINE_HEIGHT + 1) # add a comment to the content of the span to suppress tidy5 # empty <span> tag warning ln_tag.append(soup.new_string("", bs4.Comment)) 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%; diff --git a/templates/template.html b/templates/template.html index d6145a0e..6bf2d9de 100644 --- a/templates/template.html +++ b/templates/template.html @@ -32,6 +32,7 @@ $endfor$ <link href='/css/normalize.css' media="all" rel="stylesheet" type="text/css"/> <link href='/css/theme.css' media="all" rel="stylesheet" type="text/css"/> <link href="//fonts.googleapis.com/css?family=PT+Serif:regular,italic,bold,bolditalic" rel="stylesheet" type="text/css"/> +<link href="//fonts.googleapis.com/css?family=Droid+Sans+Mono" rel="stylesheet" type="text/css"/> <script> (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), |