doc/style.css

   1 \r
   2 body\r
   3 {\r
   4   margin: 1% 15%;\r
   5   padding: 1%;\r
   6   border-left: 1px solid #ccffcc;\r
   7   border-right:1px solid #ccffcc;\r
   8   line-height: 1.2em;\r
   9 }\r
  10 \r
  11 h1, h2, h3, h4\r
  12 {\r
  13   font-size:medium;\r
  14   color: gray;\r
  15 }\r
  16 h2\r
  17 {\r
  18   margin-top: 50px;\r
  19   border-top:    1px solid #ccccff;\r
  20   border-bottom: 1px solid #ccccff;\r
  21 }\r
  22 h3{\r
  23   margin-bottom: 7px;\r
  24   border-bottom: 1px dashed #9999ff;\r
  25   font-weight: inherit;\r
  26 }\r
  27 h4\r
  28 {\r
  29   margin: 3px auto;\r
  30   background-color: #fff5f5;\r
  31   border-bottom: 1px dotted #ff9999;\r
  32   font-weight: inherit;\r
  33 }\r
  34 \r
  35 #menu\r
  36 {\r
  37   position: fixed;\r
  38   left: 5px;\r
  39   float: left;\r
  40   padding: 10px;\r
  41   width: 10%;\r
  42   background-color: white;\r
  43   border: 1px solid #ccccff;\r
  44   list-style-type: none;\r
  45 }\r
  46 \r
  47 address, .sub\r
  48 {\r
  49   position: fixed;\r
  50   right: 5px;\r
  51   float: right;\r
  52   padding: 10px;\r
  53   background-color: white;\r
  54   border: 1px solid #ffcccc;\r
  55 }\r
  56 \r
  57 p{\r
  58   margin: 4px auto;\r
  59   text-indent: 1em;\r
  60 }\r
  61 \r
  62 a\r
  63 {\r
  64   color: blue;\r
  65   text-decoration: none;\r
  66   border-bottom: 1px dashed blue;\r
  67 }\r
  68 \r
  69 .dir{ quotes: '[ ' '/ ]'; }\r
  70 .dir:before{ content:  open-quote; }\r
  71 .dir:after { content: close-quote; }\r
  72 .file_win, .add{ background-color: #f5f5ff; }\r
  73 .file_lin, .fix{ background-color: #fff5f5; }\r
  74 .file, dt, .chg{ background-color: #f5fff5; }\r
  75 .file:after    { font-size: xx-small; content: ' (W/L)'; }\r
  76 .file_win:after{ font-size: xx-small; content: ' (W)'; }\r
  77 .file_lin:after{ font-size: xx-small; content: ' (L)'; }\r
  78 \r
  79 dd ul\r
  80 {\r
  81   padding: 0px;\r
  82 }\r
  83 \r
  84 dt { display: inline; }\r
  85 dt a { color: black; }\r
  86 \r
  87 kbd, code\r
  88 {\r
  89   display: block;\r
  90   text-indent: 0px;\r
  91   margin: 1% 2%;\r
  92   border: 1px solid #aaaaaa;\r
  93   background-color: #eeeeee;\r
  94 }\r
  95 \r
  96 th\r
  97 {\r
  98   background-color: #f5fff5;\r
  99   font-weight: normal;\r
 100 }\r
 101 \r
 102 td\r
 103 {\r
 104   background-color: #f5f5ff;\r
 105 }\r
 106 \r
 107 table\r
 108 {\r
 109   margin: auto 2%;\r
 110   width: 96%;\r
 111 }\r