1 files changed, 0 insertions, 31 deletions
diff --git a/doc/web/homepage/html-header.inc b/doc/web/homepage/html-header.inc
deleted file mode 100644
index 583a7b2..0000000
--- a/doc/web/homepage/html-header.inc
+++ /dev/null
@@ -1,31 +0,0 @@
-    <link rel="stylesheet" type="text/css" href="../styles.css" />
-    <style type="text/css">
-      <!--
-	  /* ... Hier werden die Formate definiert ... */
-div.screenshots {
-  border: 1px solid black;
-  padding: 5px;
-}
-
-div.screenshots img {
-  padding: 7px;
-  border: 1px solid #444444;
-}
-
-a {
-  font-weight: bold;
-}
-
-div.tab {
-  padding-left: 2.5em;
-}
-
-table.listing a {
-  color: blue;
-}
-
-div.inhalt p {
-  padding-left: 1em;
-}
-	-->
-    </style>