diff options
| author | Zhiming Wang <zmwangx@gmail.com> | 2015-05-14 20:57:01 -0700 |
|---|---|---|
| committer | Zhiming Wang <zmwangx@gmail.com> | 2015-05-14 20:57:01 -0700 |
| commit | 862e27c9e40be18fb411193631828b101791943c (patch) | |
| tree | 6a6bee787c2a8b9342cf055515642f31b4252578 /templates | |
| parent | b6d0d727c5be9a5180fb9baf9565fc1768c0ddfe (diff) | |
| download | my_new_personal_website-862e27c9e40be18fb411193631828b101791943c.tar.xz my_new_personal_website-862e27c9e40be18fb411193631828b101791943c.zip | |
add source code line numbers
The way I handle line numbers and the pre block in general is inspired
by the MDN wiki. See, for instance,
https://developer.mozilla.org/en-US/docs/Web/JavaScript/A_re-introduction_to_JavaScript
a screenshot is here: https://i.imgur.com/982TBDc.png
Also tweaked other styles, e.g., changed the primary monospace font to
Consolas, and slightly tweaked a few old posts.
Diffstat (limited to '')
| -rw-r--r-- | templates/template.html | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/templates/template.html b/templates/template.html index 08bb34f1..9e6efc0f 100644 --- a/templates/template.html +++ b/templates/template.html @@ -1,16 +1,16 @@ <!DOCTYPE html> <html> <head> -<meta charset="UTF-8"> -<meta name="generator" content="pandoc" /> -<meta name="author" content="Zhiming Wang" /> +<meta charset="UTF-8"/> +<meta name="generator" content="pandoc"/> +<meta name="author" content="Zhiming Wang"/> $if(date)$ -<meta name="date" content="$date$" /> +<meta name="date" content="$date$"/> $endif$ <title>$pagetitle$</title> -<link rel="apple-touch-icon-precomposed" href="/img/favicon-152.png"> -<meta name="msapplication-TileColor" content="#FFFFFF"> -<meta name="msapplication-TileImage" content="/img/favicon-144.png"> +<link rel="apple-touch-icon-precomposed" href="/img/favicon-152.png"/> +<meta name="msapplication-TileColor" content="#FFFFFF"/> +<meta name="msapplication-TileImage" content="/img/favicon-144.png"/> <style type="text/css">code{white-space: pre;}</style> $if(quotes)$ <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style> @@ -29,9 +29,9 @@ $endif$ $for(header-includes)$ $header-includes$ $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='/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"/> <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), @@ -72,7 +72,7 @@ $toc$ $endif$ $body$ <footer> -<hr> +<hr/> $if(updated)$ <span class="lfooter"> <time class="updated" datetime="$updated$"><code>$updated$</code></time> |