Prepare for conditional syntax highlighting

author jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>

Wed, 11 Jul 2007 05:29:53 +0000 (05:29 +0000)

committer jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>

Wed, 11 Jul 2007 05:29:53 +0000 (05:29 +0000)
author jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Wed, 11 Jul 2007 05:29:53 +0000 (05:29 +0000)
committer jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Wed, 11 Jul 2007 05:29:53 +0000 (05:29 +0000)
diff --git a/design.inc.php b/design.inc.php

index ad800487287a5c5425fbedbaa70b43b2fa5d873d..07f8c37440f94a611ae6f757fc07650293599d37 100644 (file)
--- a/design.inc.php
+++ b/design.inc.php
@@ -23,11 +23,14 @@ TABLE { margin-top: 1em; }
  #menu { position: absolute; top: 8px; left: 8px; width: 15em; overflow: auto; white-space: nowrap; }
  #content { margin-left: 16em; }
  </style>
+<?php if ($_SESSION["highlight"] == "jush") { ?>
  <style type="text/css">@import url(http://jush.info/jush.css);</style>
  <script type="text/javascript" src="http://jush.info/jush.js" defer="defer"></script>
+<script type="text/javascript">body.onload = function () { jush.highlight_tag('pre'); }</script>
+<?php } ?>
  </head>
  
-<body onload="jush.highlight_tag('pre');">
+<body>
  
  <div id="content">
  <?php
author	jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
	Wed, 11 Jul 2007 05:29:53 +0000 (05:29 +0000)
committer	jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
	Wed, 11 Jul 2007 05:29:53 +0000 (05:29 +0000)