src/expat/doc/style.css

   1 body {
   2   background-color: white;
   3   border: 0px;
   4   margin: 0px;
   5   padding: 0px;
   6 }
   7
   8 .corner {
   9   width: 200px;
  10   height: 80px;
  11   text-align: center;
  12 }
  13
  14 .banner {
  15   background-color: rgb(110,139,61);
  16   color: rgb(255,236,176);
  17   padding-left: 2em;
  18 }
  19
  20 .banner h1 {
  21   font-size: 200%;
  22 }
  23
  24 .content {
  25   padding: 0em 2em 1em 2em;
  26 }
  27
  28 .releaseno {
  29   background-color: rgb(110,139,61);
  30   color: rgb(255,236,176);
  31   padding-bottom: 0.3em;
  32   padding-top: 0.5em;
  33   text-align: center;
  34   font-weight: bold;
  35 }
  36
  37 .noborder {
  38   border-width: 0px;
  39 }
  40
  41 .eg {
  42   padding-left: 1em;
  43   padding-top: .5em;
  44   padding-bottom: .5em;
  45   border: solid thin;
  46   margin: 1em 0;
  47   background-color: tan;
  48   margin-left: 2em;
  49   margin-right: 10%;
  50 }
  51
  52 .pseudocode {
  53   padding-left: 1em;
  54   padding-top: .5em;
  55   padding-bottom: .5em;
  56   border: solid thin;
  57   margin: 1em 0;
  58   background-color: rgb(250,220,180);
  59   margin-left: 2em;
  60   margin-right: 10%;
  61 }
  62
  63 .handler {
  64   width: 100%;
  65   border-top-width: thin;
  66   margin-bottom: 1em;
  67 }
  68
  69 .handler p {
  70   margin-left: 2em;
  71 }
  72
  73 .setter {
  74   font-weight: bold;
  75 }
  76
  77 .signature {
  78   color: navy;
  79 }
  80
  81 .fcndec {
  82   width: 100%;
  83   border-top-width: thin;
  84   font-weight: bold;
  85 }
  86
  87 .fcndef {
  88   margin-left: 2em;
  89   margin-bottom: 2em;
  90 }
  91
  92 dd {
  93   margin-bottom: 2em;
  94 }
  95
  96 .cpp-symbols dt {
  97   font-family: monospace;
  98 }
  99 .cpp-symbols dd {
 100   margin-bottom: 1em;
 101 }