]> git.mjollnir.org Git - moodle.git/commitdiff
Added docstyle.php for the changed german docs.
authorurs_hunkler <urs_hunkler>
Mon, 24 Jan 2005 12:43:11 +0000 (12:43 +0000)
committerurs_hunkler <urs_hunkler>
Mon, 24 Jan 2005 12:43:11 +0000 (12:43 +0000)
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 [new file with mode: 0644]

diff --git a/theme/cornflower/docstyles.php b/theme/cornflower/docstyles.php
new file mode 100644 (file)
index 0000000..a0448ef
--- /dev/null
@@ -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;
+}