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