diff options
| author | Zhiming Wang <zmwangx@gmail.com> | 2016-01-08 16:34:54 -0800 |
|---|---|---|
| committer | Zhiming Wang <zmwangx@gmail.com> | 2016-01-08 16:34:54 -0800 |
| commit | 9ba9fd365cbed597388e33829d3b19c29cc8b6f0 (patch) | |
| tree | 3805bb96190326c0e6039e3c5df2d998636484eb /templates | |
| parent | a7cc274e2fa2f4cd73ab3245ca2e38c7ffd47293 (diff) | |
| download | my_new_personal_website-9ba9fd365cbed597388e33829d3b19c29cc8b6f0.tar.xz my_new_personal_website-9ba9fd365cbed597388e33829d3b19c29cc8b6f0.zip | |
Site design refresh part I
Highlights:
* Change font to Times/Times New Roman + Courier;
* Text slightly darkened across the board to account for the thinner
Times;
* Eliminate line numbers;
* Use custom highlight.css (based on highlight-css supplied by Pandoc,
but hightlight more classes when Pandoc falls short, e.g., span.im for
Python from and import).
Closes #5 because we don't have line numbers anymore.
Diffstat (limited to '')
| -rw-r--r-- | templates/template.html | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/templates/template.html b/templates/template.html index ec6fad90..8ac8a2ef 100644 --- a/templates/template.html +++ b/templates/template.html @@ -19,12 +19,10 @@ $endif$ <link href="/css/theme-wide.css" media="only screen and (min-width: 1441px)" rel="stylesheet" type="text/css"/> <link href="/css/theme-narrow.css" media="only screen and (max-width: 1023px)" rel="stylesheet" type="text/css"/> <link href="/css/theme-ultranarrow.css" media="only screen and (max-width: 500px)" rel="stylesheet" type="text/css"/> - <link href="/css/print.css" media="print" rel="stylesheet" type="text/css"/> $if(highlighting-css)$ - <style type="text/css"> -$highlighting-css$ - </style> + <link href="/css/highlight.css" media="all" rel="stylesheet" type="text/css"/> $endif$ + <link href="/css/print.css" media="print" rel="stylesheet" type="text/css"/> </head> <body> <nav class="nav"> |