From: urs_hunkler <urs_hunkler> Date: Mon, 24 Jan 2005 13:53:29 +0000 (+0000) Subject: Added docstyle.php for the changed german docs to my theme for testing. X-Git-Url: http://git.mjollnir.org/gw?a=commitdiff_plain;h=1d333f76af351d713a3e4d64a7784658e04f781d;p=moodle.git 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. --- 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; +}