doc/style.css

   1 \r
   2 body\r
   3 {\r
   4   margin: auto 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   background-color: white;\r
  35   border: 1px solid #ccccff;\r
  36   list-style-type: none;\r
  37 }\r
  38 \r
  39 address, .sub\r
  40 {\r
  41   position: fixed;\r
  42   right: 5px;\r
  43   float: right;\r
  44   padding: 10px;\r
  45   background-color: white;\r
  46   border: 1px solid #ffcccc;\r
  47 }\r
  48 \r
  49 p{\r
  50   margin: 0px auto;\r
  51   text-indent: 1em;\r
  52 }\r
  53 \r
  54 a\r
  55 {\r
  56   color: blue;\r
  57   text-decoration: none;\r
  58   border-bottom: 1px dashed blue;\r
  59 }\r
  60 \r
  61 .dir{ quotes: '[ ' '/ ]'; }\r
  62 .dir:before{ content:  open-quote; }\r
  63 .dir:after { content: close-quote; }\r
  64 #history dl dt,\r
  65 .file_win, .add{ background-color: #f5f5ff; }\r
  66 .file_lin, .fix{ background-color: #fff5f5; }\r
  67 .file, dt, .chg{ background-color: #f5fff5; }\r
  68 .file:after    { font-size: xx-small; content: ' (W/L)'; }\r
  69 .file_win:after{ font-size: xx-small; content: ' (W)'; }\r
  70 .file_lin:after{ font-size: xx-small; content: ' (L)'; }\r
  71 \r
  72 dt { display: inline; }\r
  73 dt a { color: black; }\r
  74 \r
  75 kbd, code\r
  76 {\r
  77   display: block;\r
  78   text-indent: 0px;\r
  79   margin: auto 2%;\r
  80   border: 1px solid #aaaaaa;\r
  81   background-color: #eeeeee;\r
  82 }\r