--- a/Admin/website/dist/css/isabelle_base.css Sat Jun 04 21:35:20 2005 +0200
+++ b/Admin/website/dist/css/isabelle_base.css Sat Jun 04 21:42:50 2005 +0200
@@ -145,11 +145,14 @@
list-style-type: none;
margin-top: 1ex;
margin-bottom: 1ex;
+ margin-left: 4em;
+ padding-left: 0pt;
}
ul.shellcmd li:before {
- content: "> ";
- font-weight: bold; /* oder gleich grafik */
+ content: "$ ";
+ font-weight: bold;
+ font-size: 40pt;
}
/* the faq */
--- a/Admin/website/include/downloadtable.include.html Sat Jun 04 21:35:20 2005 +0200
+++ b/Admin/website/include/downloadtable.include.html Sat Jun 04 21:42:50 2005 +0200
@@ -1,6 +1,6 @@
<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE table PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<?cvs id="$Id$"?>
+<!-- $Id$ -->
<table class="download">
<tr><td colspan="3" class="downloadheader">Isabelle</td></tr>
<tr>
--- a/Admin/website/include/footer.include.html Sat Jun 04 21:35:20 2005 +0200
+++ b/Admin/website/include/footer.include.html Sat Jun 04 21:42:50 2005 +0200
@@ -1,6 +1,6 @@
<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE div PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<?cvs id="$Id$"?>
+<!-- $Id$ -->
<div id="footer">
<p>Last updated: <?modificationDate?></p>
</div>
--- a/Admin/website/include/header.include.html Sat Jun 04 21:35:20 2005 +0200
+++ b/Admin/website/include/header.include.html Sat Jun 04 21:42:50 2005 +0200
@@ -1,6 +1,6 @@
<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE div PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<?cvs id="$Id$"?>
+<!-- $Id$ -->
<div id="header">
<h1><?title?></h1>
<a id="isabelle_logo" href="http://isabelle.in.tum.de/index.html">
--- a/Admin/website/include/htmlheader.include.html Sat Jun 04 21:35:20 2005 +0200
+++ b/Admin/website/include/htmlheader.include.html Sat Jun 04 21:42:50 2005 +0200
@@ -1,15 +1,20 @@
<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<?cvs id="$Id$"?>
+<!-- $Id$ -->
<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"/>
+ <!-- basic isabelle-site-specific styles -->
<link rel="stylesheet" type="text/css" media="all" href="//dist/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"?>);
</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"/>
<meta name="language" content="en"/>
<meta name="robots" content="index follow"/>
+ <meta name="author" content="Florian Haftmann" />
</dummy:wrapper>
\ No newline at end of file
--- a/Admin/website/include/navigation.include.html Sat Jun 04 21:35:20 2005 +0200
+++ b/Admin/website/include/navigation.include.html Sat Jun 04 21:42:50 2005 +0200
@@ -1,6 +1,6 @@
<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE div PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<?cvs id="$Id$"?>
+<!-- $Id$ -->
<div id="navigation">
<h2>Navigation</h2>
<ul>
--- a/Admin/website/include/navigation_dist.include.html Sat Jun 04 21:35:20 2005 +0200
+++ b/Admin/website/include/navigation_dist.include.html Sat Jun 04 21:42:50 2005 +0200
@@ -1,6 +1,6 @@
<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE div PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<?cvs id="$Id$"?>
+<!-- $Id$ -->
<div id="navigation">
<h2>Navigation</h2>
<ul>