1 files changed, 28 insertions, 0 deletions
diff --git a/doc/web/homepage/html-header.inc b/doc/web/homepage/html-header.inc
new file mode 100644
index 0000000..43c7110
--- /dev/null
+++ b/doc/web/homepage/html-header.inc
@@ -0,0 +1,28 @@
+    <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;
+}
+
+	-->
+    </style>