doc/cxml.css

   1 div.sidebar {
   2   float: right;
   3   min-width: 15%;
   4   padding: 0pt 5pt 5pt 5pt;
   5   font-family: verdana, arial;
   6 }
   7
   8 div.sidebar-title {
   9   font-weight: bold;
  10   background-color: #9c0000;
  11   border: solid #9c0000;
  12   border-top-width: 1px;
  13   border-bottom-width: 2px;
  14   border-left-width: 4px;
  15   border-right-width: 0px;
  16   padding-left: 1px;
  17   margin: 0em 2pt 0px 2em;
  18 }
  19
  20 div.sidebar-title a {
  21   color: #ffffff;
  22 }
  23
  24 div.sidebar-main {
  25   background-color: #f7f7f7;
  26   border: solid #9c0000;
  27   border-top-width: 0px;
  28   border-bottom-width: 0px;
  29   border-left-width: 4px;
  30   border-right-width: 0px;
  31   margin: 0em 2pt 1em 2em;
  32   padding: 1em;
  33 }
  34
  35 div.sidebar ul.main {
  36   padding: 0pt 0pt 0pt 1em;
  37   margin: 0 0 1em;
  38 }
  39
  40 div.sidebar ul.sub {
  41   list-style-type: square;
  42   padding: 0pt 0pt 0pt 1em;
  43   margin: 0 0 1em;
  44 }
  45
  46 div.sidebar ul.hack {
  47   padding: 0 0 0 0;
  48   margin: 0 0 1em;
  49   list-style-type: none;
  50 }
  51
  52 body {
  53   color: #000000;
  54   background-color: #ffffff;
  55   margin-right: 0pt;
  56   margin-bottom: 10%;
  57   margin-left: 40px;
  58   padding-left: 30px;
  59   font-family: verdana, arial;
  60   background-image: url(bg.png);
  61   background-position: top left;
  62   background-attachment: fixed;
  63   background-repeat: no-repeat;
  64 }
  65
  66 h1 {
  67   margin-left: -30px;
  68 }
  69
  70 h2,h3 {
  71   margin-left: -30px;
  72   margin-top: 2em;
  73 }
  74
  75 pre {
  76   background-color: #eeeeee;
  77   border: solid 1px #d0d0d0;
  78   padding: 1em;
  79   margin-right: 10%;
  80 }
  81
  82 .def {
  83   background-color: #ddddff;
  84   font-weight: bold;
  85 }
  86
  87 .nomargin {
  88   margin-bottom: 0;
  89   margin-top: 0;
  90 }