theme/oceanblue/docstyles.php

   1 <?PHP /*  $Id$ */
   2
   3 /// We use PHP so we can do value substitutions into the styles
   4     $nomoodlecookie = true;
   5
   6     require_once("../../config.php");
   7     $themename = optional_param('themename', NULL, PARAM_SAFEDIR);
   8
   9     $themeurl = style_sheet_setup(filemtime("styles.php"), 300, $themename);
  10
  11 ///
  12 /// You can hardcode colours in this file if you
  13 /// don't care about this.
  14
  15 ?>
  16 body {
  17     background-color:#FFFFFF;
  18 }
  19 p, a {
  20     font-size:small;
  21 }
  22
  23 h1, h2, h3 {
  24     padding-left:0px;
  25     background-color:transparent;
  26     color:#555555;
  27 }
  28
  29 h1 {
  30     font-size:1.7em;
  31     margin:0.5em 0 0;
  32 }
  33
  34 h2 {
  35     font-size:1.4em;
  36     margin:0.5em 0 0;
  37 }
  38
  39 h3 {
  40     font-size:1.2em;
  41     margin:0.5em 0 0;
  42 }
  43
  44
  45 li {
  46     margin-bottom: 10px;
  47 }
  48
  49 ul {
  50     margin-top: 10px;
  51 }
  52
  53 .question {
  54     font-size: medium;
  55     font-weight: normal;
  56     border: 1px dotted;
  57     padding: 10px;
  58     background-color: #EEEEEE;
  59 }
  60
  61 .answer {
  62     font-size: medium;
  63     border: none;
  64     padding-left: 40px;
  65 }
  66
  67 .normaltext {
  68     font-size: medium;
  69     border: none;
  70     margin-left: 30px;
  71 }
  72
  73 .answercode {
  74     font-family: "Courier New", Courier, mono;
  75     font-size: small;
  76     border: none;
  77     padding-left: 60px;
  78 }
  79
  80 .questionlink {
  81     font-size: medium;
  82     border: none;
  83     padding-left: 40px;
  84 }
  85
  86 .examplecode {
  87     font-family: "Courier New", Courier, mono;
  88     font-size: small;
  89     border: thin dashed #999999;
  90     background-color: #FBFBFB;
  91     margin: auto;
  92     margin-top: 0.5em;
  93     padding: 30px;
  94     height: auto;
  95     width: auto;
  96 }
  97
  98 .spaced {
  99     margin-bottom: 30px;
 100 }