From 862e27c9e40be18fb411193631828b101791943c Mon Sep 17 00:00:00 2001 From: Zhiming Wang Date: Thu, 14 May 2015 20:57:01 -0700 Subject: 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. --- templates/template.html | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) (limited to 'templates/template.html') 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 @@ - - - + + + $if(date)$ - + $endif$ $pagetitle$ - - - + + + $if(quotes)$ @@ -29,9 +29,9 @@ $endif$ $for(header-includes)$ $header-includes$ $endfor$ - - - + + +