From 1d333f76af351d713a3e4d64a7784658e04f781d Mon Sep 17 00:00:00 2001
From: urs_hunkler <urs_hunkler>
Date: Mon, 24 Jan 2005 13:53:29 +0000
Subject: [PATCH] Added docstyle.php for the changed german docs to my theme
 for testing.

Within the docs a JS loads the theme CSS if opend within Moodle. Within docstyles.php the standard doc styles can be overwritten.
---
 theme/XHTML_CSS_UH/docstyles.php | 102 +++++++++++++++++++++++++++++++
 1 file changed, 102 insertions(+)
 create mode 100644 theme/XHTML_CSS_UH/docstyles.php

diff --git a/theme/XHTML_CSS_UH/docstyles.php b/theme/XHTML_CSS_UH/docstyles.php
new file mode 100644
index 0000000000..0123ea291e
--- /dev/null
+++ b/theme/XHTML_CSS_UH/docstyles.php
@@ -0,0 +1,102 @@
+<?PHP /*  $Id$ */
+
+/// We use PHP so we can do value substitutions into the styles
+
+    if (!isset($themename)) {
+        $themename = NULL;
+    }
+
+    $nomoodlecookie = true;
+    require_once("../../config.php");
+    $themeurl = style_sheet_setup(filemtime("styles.php"), 300, $themename);
+
+///
+/// You can hardcode colours in this file if you
+/// don't care about this.
+
+?>
+body {
+    background-color:#FFFFFF;
+}
+p, a {
+    font-size:90%;
+}
+
+h1, h2, h3 {
+    padding-left:0px;
+    background-color:transparent;
+    color:#000000;
+}
+
+h1 {
+    font-size:1.7em; 
+    margin:0.5em 0 0;
+}
+
+h2 {
+    font-size:1.4em;
+    margin:0.5em 0 0;
+}
+
+h3 {
+    font-size:1.2em;
+    margin:0.5em 0 0;
+}
+
+
+li {
+	margin-bottom: 10px;
+}
+
+ul {
+	margin-top: 10px;
+}
+
+.question {
+    font-size: medium;
+    font-weight: bold;
+    border: 1px dotted;
+    padding: 10px;
+    background-color: #EEEEEE;
+}
+
+.answer {
+    font-size: medium;
+    border: none;
+    padding-left: 40px;
+}
+
+.normaltext {
+	font-size: medium;
+	border: none;
+	margin-left: 30px;
+}
+
+.answercode {
+    font-family: "Courier New", Courier, mono;
+    font-size: small;
+    border: none;
+    padding-left: 60px;
+}
+
+.questionlink {
+    font-size: medium;
+    border: none;
+    padding-left: 40px;
+}
+
+.examplecode {
+	font-family: "Courier New", Courier, mono;
+	font-size: small;
+	border: thin dashed #999999;
+	background-color: #FBFBFB;
+	margin: auto;
+    margin-top: 0.5em;
+	padding: 30px;
+	height: auto;
+	width: auto;
+}
+
+.spaced {
+	margin-bottom: 30px;
+}
-- 
2.39.5