[Sommaire] [Imprimer]

   1  body {
   2    margin: 1em 5%;
   3    background: white;
   4    color: black;
   5    font-family: Verdana, Arial, Helvetica, sans-serif;
   6    font-size: smaller;
   7  }
   8  
   9  h1 {
  10    font-size: 1.4em;
  11  }
  12  
  13  h2 {
  14    font-size: 1.2em;
  15  }
  16  
  17  h3 {
  18    font-size: 1.0em;
  19  }
  20  
  21  h4 {
  22    font-size: 0.8em;
  23  }
  24  
  25  p, ul, ol, li {
  26    margin-top: 0.6em;
  27    margin-bottom: 0.6em;
  28  }
  29  ul, ol {
  30    margin-left: 0.9em;
  31    padding-left: 0.9em;
  32  }
  33  
  34  code, kbd, var {
  35    font-family: Courier, "Courier New", monospace;
  36  }
  37  
  38  table {
  39    width: 100%;
  40  }
  41  
  42  td, th {
  43    vertical-align: top;
  44    padding: 4px;
  45    line-height: 128%;
  46    font-size: smaller;
  47  }
  48  
  49  th {
  50    text-align: left;
  51    background: silver;
  52  }
  53  
  54  .r2 {
  55    background: rgb(240,240,240);
  56  }
  57  
  58  dt {
  59    font-weight: bold;
  60  }
  61  
  62  
  63  .usual {
  64    font-size: 100%;
  65  }
  66  
  67  .menu {
  68    font-size: 90%;
  69    background: #dddddd;
  70    color: black;
  71  }
  72  
  73  .footer {
  74    font-size: 90%;
  75    background: #dddddd;
  76    color: black;
  77  }
  78  
  79  
  80  .comment {
  81    font-size: 80%;
  82  }
  83  
  84  .codeheader        {  font-family: Courier, "Courier New", monospace; }
  85  
  86  
  87  a:link    { color: #2222FF; background: transparent; }
  88  a:visited { color: #2222FF; background: transparent; }
  89  a:hover   { color: #5252FF; background: transparent; }
  90  /*a:hover   { color: #333366; background: #AAAADD; }*/
  91  a:active  { color: #2222FF; background: transparent; }
  92  
  93  /* this is to prevent Mozilla from applying :hover on <a name="..."> */
  94  a[name]   { color: black; background: transparent; }
  95