[Summary view] [Print] [Text view]

   1  <?PHP /*  $Id: docstyles.php,v 1.3 2006/05/23 09:16:17 skodak Exp $ */
   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:90%;
  21  }
  22  
  23  h1, h2, h3 {
  24      padding-left:0px;
  25      background-color:transparent;
  26      color:#000000;
  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: bold;
  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  }