Doc/Manual/style.css

   1 div.sectiontoc {
   2   border-style: dotted;
   3   border-width: 2px;
   4   padding: 2pt;
   5 }
   6
   7 h2 {
   8   padding: 3px;
   9   color: #000000;
  10   border-bottom: 2px
  11   solid #dddddd;
  12 }
  13
  14 h3, h4 {
  15   margin-left: 1em;
  16 }
  17
  18 p,li,table,dl {
  19   margin-left: 2em;
  20   margin-right: 2em;
  21 }
  22
  23 div.indent {
  24   margin-left: 4em;
  25   margin-right: 4em;
  26 }
  27
  28 div.code {
  29   border-style: solid;
  30   border-width: 1px;
  31   padding: 2pt;
  32   margin-left: 4em;
  33   margin-right: 4em;
  34   background-color: #F0FFFF;
  35 }
  36
  37 div.targetlang {
  38   border-style: solid;
  39   border-width: 1px;
  40   padding: 2pt;
  41   margin-left: 4em;
  42   margin-right: 4em;
  43   background-color: #d7f6bb;
  44 }
  45
  46
  47 div.shell {
  48   border-style: solid;
  49   border-width: 1px;
  50   padding: 2pt;
  51   margin-left: 4em;
  52   margin-right: 4em;
  53   background-color: #DCDCDC;
  54 }
  55
  56 div.diagram {
  57   border-style: solid;
  58   border-width: 1px;
  59   padding: 2pt;
  60   margin-left: 4em;
  61   margin-right: 4em;
  62   background-color: #FFEBCD;
  63 }
  64
  65 ul li p {
  66   margin-left: 0;
  67   margin-right: 0;
  68 }
  69
  70 ol li p {
  71   margin-left: 0;
  72   margin-right: 0;
  73 }
  74
  75 dl dd p {
  76   margin-left: 0;
  77   margin-right: 0;
  78 }
  79
  80 div.indent p {
  81   margin-left: 0;
  82   margin-right: 0;
  83 }
  84