doc/style.css

   1 /* by eto 2003-0112 */
   2
   3 body    {
   4  margin: 0em;
   5  padding: 0em;
   6  font-family: Helvetica,sans-self;
   7 /* scrollbar-3d-light-color: #ff0000;*/
   8  scrollbar-arrow-color: #ff6600;
   9  scrollbar-base-color: #ffffff;
  10 /* scrollbar-dark-shadow-color: #ff0000;*/
  11  scrollbar-face-color: #ffffff;
  12  scrollbar-highlight-color: #ffffff;
  13  scrollbar-shadow-color: #ff6600;
  14 }
  15 .center { text-align: center;}
  16 /*.e    { font-family: Verdana,Helvetica,sans-self;}*/
  17 .e      { font-family: Helvetica,sans-self;}
  18 .w40em  { width: 40em; }
  19 .w60em  { width: 60em; }
  20
  21 .box    {
  22  margin: 0em 0em 1em 0em;
  23  padding: 0em;
  24  text-align: left;
  25  border: 0.1em solid #ff6600;
  26 }
  27
  28 h1      {
  29  background-color: #ff6600;
  30  color: #ffffff;
  31 /* margin: 0em 0em 0.5em 0em;*/
  32  margin: 0em;
  33 /* padding: 0.0em 0.1em 0.1em 0.0em;*/
  34  padding: 0em;
  35 }
  36 h2      {
  37  color: #ffffff;
  38  background-color: #ff6600;
  39  margin: 0em;
  40  padding: 0em;
  41  font-size: medium;
  42 }
  43 h3      {
  44  color: #ff6600;
  45  margin: 0em 0.5em 0em 0.5em;
  46  padding: 0em;
  47  font-size: small;
  48 /* font-weight: normal;*/
  49 }
  50 h4      {
  51  color: #ff6600;
  52  margin: 0em 0.5em 0em 0.5em;
  53  padding: 0em;
  54  font-size: small;
  55  font-weight: normal;
  56 }
  57 p       {
  58  margin: 0.5em;
  59  padding: 0em;
  60 }
  61 pre     {
  62  background-color: #fff8f0;
  63  margin: 0.1em 0.5em 0.5em 0.5em;
  64  padding: 0.5em;
  65  border: 0.01em solid #ff6600;
  66  font-size: small;
  67 }
  68
  69 a               { color:#ff6600; }
  70 a:link          { color:#ff7700; }
  71 a:visited       { color:#ff8800; }
  72 a:active        { color:#ff0000; }
  73 a:hover { color:#ff0000; text-decoration:none; }
  74
  75 ul      {
  76 /* margin: 0em 0em 0em 2.0em;
  77  padding: 1em 0em 1em 0.0em;*/
  78  margin: 0.5em 0em 0.5em 2.0em;
  79  list-style-type: square;
  80 }
  81 li      {
  82 }
  83
  84 dl      {
  85  margin: 0.5em 0em 0.5em 0.5em;
  86 }
  87 dt      {
  88 /* margin: 0.5em 0em 0.5em 0.5em;*/
  89  color: #dd3300;
  90 }
  91 dd      {
  92  margin: 0.1em 0em 0.5em 1.5em;
  93 }
  94 hr      {
  95  color: #ff6600;
  96  margin: 0em;
  97  padding: 0em;
  98 }
  99 address {
 100  background-color: #ff6600;
 101  color: #ffffff;
 102  padding: 0.1em;
 103 /* font-family: Verdana,Helvetica,sans-self;*/
 104  font-family: Helvetica,sans-self;
 105  font-style: normal;
 106 }
 107 .white  { color: #ffffff; }
 108
 109 strong  {
 110  color: #ff6600;
 111 /* font-family: Verdana,Helvetica,sans-self;*/
 112  font-family: Helvetica,sans-self;
 113 }
 114 .s      {
 115  color: #ff6600;
 116 /* font-family: Verdana,Helvetica,sans-self;*/
 117  font-family: Helvetica,sans-self;
 118  font-weight: bold;
 119 }
 120
 121 b       {
 122 /* font-family: Verdana,Helvetica,sans-self;*/
 123  font-family: Helvetica,sans-self;
 124  font-weight: normal;
 125  color: #ff6600;
 126 }
 127 .b      {
 128 /* font-family: Verdana,Helvetica,sans-self;*/
 129  font-family: Helvetica,sans-self;
 130  font-weight: normal;
 131  color: #ff6600;
 132 }
 133
 134 .linkbox        {
 135  background-color: #ff6600;
 136  color: #ffffff;
 137  margin: 0em 0em 1em 0em;
 138  padding: 0em;
 139  text-align: center;
 140 /* font-family: Verdana,Helvetica,sans-self;*/
 141  font-family: Helvetica,sans-self;
 142 }
 143
 144 .linkbox a              { color:#ffffff; }
 145 .linkbox a:link         { color:#ffffff; }
 146 .linkbox a:visited      { color:#ffffff; }
 147 .linkbox a:active       { color:#ff0000; }
 148 .linkbox a:hover        {
 149  background-color: #ffffff;
 150  color:#ff6600; text-decoration:none;
 151 }
 152
 153 /* ---------------------------------------------------------------------- end. */