index.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 .sidebar a {
   9   border-top: 1px solid #eeeeee;
  10   border-left: 1px solid #eeeeee;
  11   border-right: 1px solid #eeeeee;
  12 }
  13
  14 #homepage a {
  15   text-decoration: none;
  16   color: black;
  17   border-bottom: 1px solid #ff9500;
  18   border-top: 1px solid white;
  19   border-left: 1px solid white;
  20   border-right: 1px solid white;
  21 }
  22
  23 #homepage a:hover {
  24   color: #ff9500;
  25   border-bottom: 1px solid #aaaaaa;
  26 }
  27
  28 div.sidebar-title {
  29   font-weight: bold;
  30   color: #ffffff;
  31   background-color: #000000; /* #0000aa */
  32   border: solid #000000; /* #0000aa */
  33   border-top-width: 1px;
  34   border-bottom-width: 0px;
  35   border-left-width: 4px;
  36   border-right-width: 0px;
  37   margin: 0em 2pt 1px 2em;
  38 }
  39
  40 div.sidebar-title a {
  41   color: #ffffff;
  42 }
  43
  44 div.sidebar-main {
  45   background-color: #eeeeee;
  46   border: solid #000000; /* #0000aa */
  47   border-top-width: 0px;
  48   border-bottom-width: 0px;
  49   border-left-width: 4px;
  50   border-right-width: 0px;
  51   margin: 0em 2pt 1em 2em;
  52   padding-top: 2px;
  53   padding-left: 2px;
  54 }
  55
  56 div.sidebar ul {
  57   list-style-type: square;
  58   padding: 0pt 0pt 0pt 1em;
  59   margin: 0 0 1em;
  60 }
  61
  62 div.sidebar ul.sub {
  63   list-style-type: disc;
  64   padding: 0pt 0pt 0pt 1em;
  65   margin: 0 0 1em;
  66 }
  67
  68 body {
  69   color: #000000;
  70   background-color: #ffffff;
  71   margin-top: 2em;
  72   margin-right: 0pt;
  73   margin-bottom: 10%;
  74   font-family: verdana, arial;
  75 //   background-image: url(bg.png);
  76 //   background-position: top left;
  77 //   background-attachment: fixed;
  78 //   background-repeat: no-repeat;
  79 }
  80
  81 .main {
  82   margin-top: 20px;
  83   margin-left: 40px;
  84   padding-left: 30px;
  85 }
  86
  87 h1,h2,h3 {
  88   color: #000077;
  89   margin-top: 2em;
  90   margin-left: -30px;
  91 }
  92
  93 .def {
  94 //  background-color: #ffcd87;
  95 //  background-color: #ffb247;
  96 //  background-color: #e0a655;
  97   border-bottom: 1px solid black;
  98   padding: 1px 1px 1px 1px;
  99   margin-bottom: 1px;
 100   font-weight: bold;
 101   margin-right: 40px;
 102 }
 103
 104 .def:hover {
 105 //  background-color: #ffcd87;
 106 //  background-color: #ffb247;
 107   background-color: #e0a655;
 108 }
 109
 110 .def a {
 111   text-decoration: none;
 112   color: #000000;
 113   border-bottom: 0px solid white;
 114   border-top: 0px solid white;
 115   border-left: 0px solid white;
 116   border-right: 0px solid white;
 117 }
 118
 119 .def a:hover {
 120   background-color: #e0a655;
 121   color: #000000;
 122   text-decoration: none;
 123   border-bottom: 0px solid white;
 124   border-top: 0px solid white;
 125   border-left: 0px solid white;
 126   border-right: 0px solid white;
 127 }
 128
 129 .nomargin {
 130   margin-bottom: 0;
 131   margin-top: 0;
 132 }
 133
 134 .noindent {
 135   margin-left: -30px;
 136 }
 137
 138 #header {
 139   margin-right: 22px;
 140   padding-bottom: 1px;
 141   border-bottom: 1px solid black;
 142   font-family: verdana, arial;
 143   font-size: 12pt;
 144 }
 145
 146 .code {
 147   background-color: #eeeeee;
 148   border: solid 1px #d0d0d0;
 149   padding: 1em;
 150 }