[Sommaire] [Imprimer]

   1  body, td, dd {font: 10pt Verdana, Arial, Helvetica, sans-serif; color: black;}
   2  body {margin: 8px; background: #333;}
   3  h1 {margin: 0;}
   4  h1 a:hover {background-color: transparent;}
   5  h2 {font-size: 1.75em;}
   6  h3 {font-size: 1.1em;}
   7  p.footnote {font-family: "Times New Roman", Times, serif; font-style: italic;}
   8  a:active {color: #ff0000;}
   9  a:link {color: #0a6cce;}
  10  a:visited {color: #0a6cce;}
  11  code, *.code {font-family: monospace; font-size: 100%; font-style: normal; white-space: nowrap;
  12   padding: 0 1px; background: #f2f3f8; border: #d6d9e9 1px solid;}
  13  code.box {display: block; padding: 10px; margin: 0.5em 0;}
  14  ul {list-style-type: square;}
  15  dd {margin: .2em 0 .5em 1em;}
  16  dl.library dt {display: list-item; margin-left: 3em; list-style-type: square;}
  17  dl.library dd {font-style: italic; margin-left: 3em;}
  18  dt {font-weight: bold;}
  19  dt.pack {color: brown;}
  20  a img {border-style: none;}
  21  hr {height: 1px; color: #000; border-style: solid;}
  22  hr.short {height: 2px; width: 100px;}
  23  div.document {background: #eef; padding: 20px 20px 5px 20px; width: 600px; border: 1px solid black;}
  24  hr {border-bottom-width: 0px;}
  25  div.header hr {color: #0a6cce; background-color: #0a6cce;}
  26  div.footer hr {color: #898e79; background-color: #898e79; }
  27  div.header, div.header a:link, div.header a:visited, h3 a:link, h3 a:visited {text-decoration: none;}
  28  a:hover {color: #fff; background-color: #0a6cce; text-decoration: none;}
  29  div.footer a:hover {background-color: transparent; text-decoration: none;}
  30  div.header .menu {text-align: right;}
  31  div.content {min-height: 100px;}
  32  div.footer {font-size: x-small; margin-top: 8px;}
  33  div.footnote {font-family: "times new roman", times; font-style: italic; margin-top: 10px;}
  34  #license {margin-top: 5px; font-size: xx-small;}
  35  table {border-top: 1px solid #000; border-left: 1px solid #000;}
  36  th {background-color: #fff; text-align: left;}
  37  th, td {border-right: 1px solid #000; border-bottom: 1px solid #000;}
  38  th.small {width: 100px;}
  39  th.medium {width: 200px;}
  40  th.large {width: 270px;}
  41  th.x-large {width: 408px;}
  42  table.fixed {table-layout: fixed;}
  43  span.comment {color: #666;}
  44