From fffb40d91518570b6f57e1a07944da03dc53e6b4 Mon Sep 17 00:00:00 2001
From: urs_hunkler <urs_hunkler>
Date: Mon, 24 Jan 2005 12:43:11 +0000
Subject: [PATCH] Added docstyle.php for the changed german docs.

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

diff --git a/theme/cornflower/docstyles.php b/theme/cornflower/docstyles.php
new file mode 100644
index 0000000000..a0448ef211
--- /dev/null
+++ b/theme/cornflower/docstyles.php
@@ -0,0 +1,97 @@
+<?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;
+}
+
+h1, h2, h3 {
+    background-color:transparent;
+    color:#000000;
+}
+
+h1 {
+    font-size: 2em; 
+    margin: .67em 0;
+}
+
+h2 {
+    font-size: 1.5em;
+    margin: .75em 0;
+}
+
+h3 {
+    font-size: 1.17em;
+    margin: .83em 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;
+	padding: 30px;
+	height: auto;
+	width: auto;
+}
+
+.spaced {
+	margin-bottom: 30px;
+}
-- 
2.39.5