doc/style.css

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