@@ -14,7 +14,9 @@ $endif$
14 <script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script>
14 <script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script>
15 <![endif]-->
15 <![endif]-->
16$if(highlighting-css)$
16$if(highlighting-css)$
17+ <style type="text/css">
17$highlighting-css$
18$highlighting-css$
20 <link rel="stylesheet" href="$css$">
22 <link rel="stylesheet" href="$css$">