diff options
author | Zhiming Wang <zmwangx@gmail.com> | 2015-08-09 08:10:30 -0700 |
---|---|---|
committer | Zhiming Wang <zmwangx@gmail.com> | 2015-08-09 08:10:30 -0700 |
commit | f81b02836503d0c105d29a9786c01438e0078990 (patch) | |
tree | e0fb304fe45912b2ac3e5333caca207b49c3b0aa | |
parent | dc1de626509e335a461b91ae258ef7edd2cbe24e (diff) | |
download | my_new_personal_website-f81b02836503d0c105d29a9786c01438e0078990.tar.xz my_new_personal_website-f81b02836503d0c105d29a9786c01438e0078990.zip |
template.html: restore highlighting-css
I accidentally removed syntax highlighting in 94f82685672bcd4e5731de3c1c61e79f7edc07b2.
-rw-r--r-- | templates/template.html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/templates/template.html b/templates/template.html index 8491bc5b..54cb553a 100644 --- a/templates/template.html +++ b/templates/template.html @@ -12,7 +12,6 @@ $endif$ <meta name="msapplication-TileColor" content="#FFFFFF"/> <meta name="msapplication-TileImage" content="/img/favicon-144.png"/> <meta name="viewport" content="width=device-width, initial-scale=1"> - <style type="text/css">code{white-space: pre;}</style> <link href="//fonts.googleapis.com/css?family=Open+Sans:regular" 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"/> @@ -22,6 +21,12 @@ $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/print.css' media="print" rel="stylesheet" type="text/css"/> + <style type="text/css">code{white-space: pre;}</style> +$if(highlighting-css)$ + <style type="text/css"> +$highlighting-css$ + </style> +$endif$ <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), |