--- a/Admin/website/include/htmlheader.include.html Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/include/htmlheader.include.html Wed Sep 21 16:37:37 2005 +0200
@@ -4,16 +4,16 @@
<dummy:wrapper xmlns:dummy="http://nowhere.no">
<?contentType?>
<!-- the very base - here all elements are fixed to a certain base style -->
- <link rel="stylesheet" type="text/css" media="all" href="//dist/css/aelfwine.css"/>
+ <link rel="stylesheet" type="text/css" media="all" href="//css/aelfwine.css"/>
<!-- basic isabelle-site-specific styles -->
- <link rel="stylesheet" type="text/css" media="all" href="//dist/css/isabelle_base.css"/>
+ <link rel="stylesheet" type="text/css" media="all" href="//css/isabelle_base.css"/>
<!-- advanced sceen styles - they are imported such that they are ignored by old-fashioned browsers -->
<style type="text/css" media="screen">
- @import url(<?relativeRoot href="dist/css/isabelle_screen.css"?>);
+ @import url(<?relativeRoot href="css/isabelle_screen.css"?>);
</style>
<!-- advanced print styles -->
- <link rel="stylesheet" type="text/css" media="print" href="//dist/css/isabelle_print.css"/>
- <link rel="icon" href="//dist/img/favicon.ico" type="image/icon"/>
+ <link rel="stylesheet" type="text/css" media="print" href="//css/isabelle_print.css"/>
+ <link rel="icon" href="//img/favicon.ico" type="image/icon"/>
<meta name="language" content="en"/>
<meta name="robots" content="index follow"/>
<meta name="author" content="Tobias Nipkow, Lawrence Paulson, Markus Wenzel, Gerwin Klein, Florian Haftmann" />