doc/javadoc.css

   1 /* Page background color */
   2 body {
   3    background-color: #F0F0E0;
   4    font-family: arial, helvetica, sans-serif;
   5    font-size: 14px;
   6    margin-left: 40px;
   7    margin-right: 40px;
   8    margin-top: 0px;
   9 }
  10
  11 p {  }
  12
  13 /* Headings */
  14 h1 { border-top: 2px solid black; font-size: 14px; }
  15 h2 { font-size: 20px; width: 100%; margin-left: -40px; margin-right: -40; background-color:blue; padding: 5px; padding-left: 40px; padding-right: 40px; color: white; }
  16 h3 {  border-top: 2px solid black; font-size: 14px; }
  17 pre {  }
  18 hr { width: 0; }
  19 tt { font-size: 14px; }
  20
  21 div.example {
  22   background: black;
  23   border: 2px solid gray;
  24   color: #ddd;
  25   font-family: monospace;
  26   padding: 4px;
  27   font-size: 14px;
  28 }
  29
  30 a:link    { color: #00f; text-decoration: none; }
  31 a:active  { color: #00f; text-decoration: none; border: 1px blue; }
  32 a:visited { color: #44f; text-decoration: none; }
  33 a:hover   { color: #00f; text-decoration: none; border-bottom: dotted 1px blue; }
  34
  35 /* Table colors */
  36 .TableHeadingColor     { background: #CCCCFF; border: 0px white; } /* Dark mauve */
  37 .TableSubHeadingColor  { background: #EEEEFF; border: 0px white; } /* Light mauve */
  38 .TableRowColor         { background: #FFFFFF; font-size: 14px; } /* White */
  39
  40 table { border: 1px black solid;  }
  41 td    { border: 0px white; border-top: 1px dotted gray; font-size: 14px; }
  42 th    { border: 0px white; }
  43
  44
  45
  46
  47 /* Font used in left-hand frame lists */
  48 .FrameTitleFont   { font-size: 100%; font-family: Helvetica, Arial, sans-serif }
  49 .FrameHeadingFont { font-size:  90%; font-family: Helvetica, Arial, sans-serif }
  50 .FrameItemFont    { font-size:  90%; font-family: Helvetica, Arial, sans-serif }
  51
  52 /* Navigation bar fonts and colors */
  53 .NavBarCell1    { background-color:#EEEEFF;} /* Light mauve */
  54 .NavBarCell1Rev { background-color:#00008B;} /* Dark Blue */
  55 .NavBarFont1    { font-family: Arial, Helvetica, sans-serif; color:#000000;}
  56 .NavBarFont1Rev { font-family: Arial, Helvetica, sans-serif; color:#FFFFFF;}
  57
  58 .NavBarCell2    { font-family: Arial, Helvetica, sans-serif; background-color:#FFFFFF;}
  59 .NavBarCell3    { font-family: Arial, Helvetica, sans-serif; background-color:#FFFFFF;}