[Sommaire] [Imprimer]

   1  body {
   2      padding-left: 3%;
   3      padding-right: 3%;
   4  }
   5  pre {
   6      font-family: courier;
   7      font-size: 80%;
   8      border: 1px solid;
   9      background-color: #cccccc;
  10      padding: 5px;
  11      margin-left: 5%;
  12      margin-right: 8%;
  13  }
  14  .code, .new_code, pre.new_code {
  15      font-weight: bold;
  16  }
  17  div.copyright {
  18      font-size: 80%;
  19      color: gray;
  20  }
  21  div.copyright a {
  22      color: gray;
  23  }
  24  ul.api {
  25      padding-left: 0em;
  26      padding-right: 25%;
  27  }
  28  ul.api li {
  29      margin-top: 0.2em;
  30      margin-bottom: 0.2em;
  31      list-style: none;
  32      text-indent: -3em;
  33      padding-left: 3em;
  34  }
  35  div.demo {
  36      border: 4px ridge;
  37      border-color: gray;
  38      padding: 10px;
  39      margin: 5px;
  40      margin-left: 20px;
  41      margin-right: 40px;
  42      background-color: white;
  43  }
  44  div.demo span.fail {
  45      color: red;
  46  }
  47  div.demo span.pass {
  48      color: green;
  49  }
  50  div.demo h1 {
  51      font-size: 12pt;
  52      text-align: left;
  53      font-weight: bold;
  54  }
  55  table {
  56      border: 2px outset;
  57      border-color: gray;
  58      background-color: white;
  59      margin: 5px;
  60      margin-left: 5%;
  61      margin-right: 5%;
  62  }
  63  td {
  64      font-size: 80%;
  65  }
  66  .shell {
  67      color: white;
  68  }
  69  pre.shell {
  70      border: 4px ridge;
  71      border-color: gray;
  72      padding: 10px;
  73      margin: 5px;
  74      margin-left: 20px;
  75      margin-right: 40px;
  76      background-color: black;
  77  }
  78  form.demo {
  79      background-color: lightgray;
  80      border: 4px outset;
  81      border-color: lightgray;
  82      padding: 10px;
  83      margin-right: 40%;
  84  }