@@ -9,11 +9,7 @@ $if(date-meta)$
10 <title>$if(title-prefix)$$title-prefix$ - $endif$$if(pagetitle)$$pagetitle$$endif$</title>
10 <title>$if(title-prefix)$$title-prefix$ - $endif$$if(pagetitle)$$pagetitle$$endif$</title>
11$if(highlighting-css)$
11$if(highlighting-css)$
12− <style type="text/css">
14$highlighting-css$
12$highlighting-css$