[Sommaire] [Imprimer]

   1  body
   2  {
   3      background-image: url('pradobg.gif');
   4      background-repeat: repeat-x;
   5      background-color: #CECECE;
   6      margin: 0px;
   7      padding: 0px;
   8  }
   9  
  10  body, form, div, span, p, input, textarea, select
  11  {
  12      font-family: Verdana, Arial;
  13      font-size: 8pt;
  14      color: #000;
  15  }
  16  
  17  a
  18  {
  19      color: #f00;
  20  }
  21  
  22  form
  23  {
  24      margin: 0px;
  25      padding: 0px;
  26  }
  27  
  28  div#header
  29  {
  30      height: 91px;
  31      background-image: url('pradoheader.gif');
  32      background-repeat: no-repeat;
  33  }
  34  
  35  div.classinfo, div.propertydef, div.eventdef, div.comments
  36  {
  37      margin-left: 42px;
  38      margin-right: 10px;
  39      background-color: #EFEEEE;
  40      padding: 5px;
  41  }
  42  
  43  div.classinfo fieldset, div.propertydef fieldset, div.eventdef fieldset, div.comments fieldset
  44  {
  45      border: 0px;
  46      background-color: #fff;
  47      padding: 3px;
  48  }
  49  
  50  div.classinfo legend, div.propertydef legend, div.eventdef legend, div.comments legend
  51  {
  52      display: none;
  53  }
  54  
  55  div.propertydef
  56  {
  57      margin-top: 5px;
  58      background-image: url('propertydef.gif');
  59      background-repeat: no-repeat;
  60      padding-top: 49px;
  61  }
  62  
  63  div.eventdef
  64  {
  65      margin-top: 5px;
  66      background-image: url('eventdef.gif');
  67      background-repeat: no-repeat;
  68      padding-top: 49px;
  69  }
  70  
  71  div.comments
  72  {
  73      margin-top: 5px;
  74      background-image: url('comments.gif');
  75      background-repeat: no-repeat;
  76      padding-top: 49px;
  77  }
  78  
  79  
  80  
  81  div#footer
  82  {
  83      clear: both;
  84      margin: 0px auto;
  85      width: 170px;
  86      padding: 10px;
  87  }
  88  
  89  input, select, textarea
  90  {
  91      border: 1px solid #7D7D7D;
  92      color: #7D7D7D;
  93      background-color: #fff;
  94  }
  95  
  96  input.button
  97  {
  98      background-color: #7D7D7D;
  99      color: #fff;
 100      padding: 2px;
 101      border: 0px;
 102  }
 103  
 104  div#header h1
 105  {
 106      display: none;
 107  }
 108  
 109  
 110  /* source generator */
 111  
 112  div.generator
 113  {
 114      margin-top: 5px;
 115      margin-left: 42px;
 116      margin-right: 10px;
 117      background-color: #EFEEEE;
 118      padding: 5px;
 119  }
 120  
 121  div.generator div
 122  {
 123      background-color: #fff;
 124      padding: 10px;
 125  }
 126  
 127  .source {
 128      padding: 0.5em;
 129      border-style:dotted;
 130      border-width:1px;
 131      border-color:#cccccc;
 132      background-color:#ffffee;
 133      font-family: "Courier New", Courier, mono;
 134      margin-top: 0.2em;
 135      margin-bottom: 0.5em;
 136  }
 137  
 138  .source pre {
 139      font-family: "Courier New", Courier, mono;
 140      margin: 0;
 141  }
 142  
 143  .runbar a:link, .runbar a:visited {
 144      background-color:#BFE4FF;
 145      font-size: 12px;
 146      font-weight: bold;
 147      padding: 3px;
 148      padding-left: 6px;
 149      padding-right: 6px;
 150      border-top: 1px solid white;
 151      border-left: 1px solid white;
 152      border-bottom: 1px solid #aaaaaa;
 153      border-right: 1px solid #aaaaaa;
 154      text-decoration: none;
 155  }
 156  
 157  .runbar a:link.active, .runbar a:visited.active, .runbar a:hover {
 158      background-color:#BFE4FF;
 159      font-size: 12px;
 160      font-weight: bold;
 161      padding: 3px;
 162      padding-left: 6px;
 163      padding-right: 6px;
 164      border-top: 1px solid #aaaaaa;
 165      border-left: 1px solid #aaaaaa;
 166      border-bottom: 1px solid white;
 167      border-right: 1px solid white;
 168  }
 169  
 170  #sourceList {
 171      background-color:#BFE4FF;
 172      margin:10px 10px 0px 10px;
 173      padding:10px;
 174      border:1px solid silver;
 175  }
 176  
 177  #sourceView {
 178      font-family: "Courier New", Courier, mono;
 179      background-color:#ffffee;
 180      margin:5px 10px 10px 10px;
 181      border:1px solid silver;
 182      padding:10px;
 183  }
 184  
 185  code {
 186      font-family: "Courier New", Courier, mono;
 187  }
 188  
 189  tt {
 190      font-family: "Courier New", Courier, mono;
 191      border-bottom: 1px dotted silver;
 192  }
 193  
 194  .sampleheader {
 195      background:#00487D;
 196      color:white;
 197      padding:3px;
 198  }
 199  
 200  .sampleheader a {
 201      color:white;
 202  }
 203  
 204  .samplepanel {
 205      margin: 0px;
 206      border: 1px solid silver;
 207      padding: 10px;
 208      margin-bottom:10px;
 209  }
 210  
 211  .sampletitle {
 212      width: 100%;
 213      border-bottom:1px solid silver;
 214      font-weight:bold;
 215      margin-bottom:5px;
 216  }
 217  
 218  .sampletable {
 219      width: 100%;
 220      border-collapse: collapse;
 221  }
 222  
 223  td.samplenote {
 224      width: 300px;
 225      text-align: right;
 226      background: #BFE4FF;
 227      border: 1px solid silver;
 228      padding: 5px;
 229      vertical-align: top;
 230  }
 231  
 232  td.sampleaction {
 233      background: #ffffee;
 234      border: 1px solid silver;
 235      padding: 5px;
 236      vertical-align: top;
 237  }