docs/themes/default/handbook_styles.css

   1 pre {\r
   2         font-family: Verdana, Arial, sans-serif;\r
   3 }\r
   4 body{\r
   5         background-color: #fafafa;\r
   6     font-family: Verdana, Arial,sans-serif;\r
   7         font-size: small;\r
   8         line-height:150%;\r
   9 }\r
  10 h1,h2,h3,p, table, ul {\r
  11     font-family: Verdana,Arial,sans-serif;\r
  12 }\r
  13 h1 {\r
  14         border-bottom: 1px dashed #cfcfcf;\r
  15         margin-left: -5px;\r
  16         padding-left: 15px;\r
  17         margin-right: -5px;\r
  18         padding-right: 15px;\r
  19 }\r
  20 h2{\r
  21         color: #666;\r
  22         border-bottom: 1px dashed #cfcfcf;\r
  23         margin-left: -5px;\r
  24         padding-left: 15px;\r
  25         margin-right: -5px;\r
  26         padding-right: 15px;\r
  27 }\r
  28 a {\r
  29         text-decoration: none;\r
  30         border-bottom: 1px solid;\r
  31         font-weight: bold;\r
  32 }\r
  33 a:hover {\r
  34         border-bottom: 0px;\r
  35 }\r
  36 td,th {\r
  37         font-size: 100%;\r
  38         padding: 10px;\r
  39 }\r
  40 \r
  41 kbd {\r
  42         padding: 0px 1px 0px 1px;\r
  43         border-width: 1px 2px 2px 1px;\r
  44         border-style: solid;\r
  45         border-color: #edd #baa #baa #eed;\r
  46         white-space: pre;\r
  47 }\r
  48 \r
  49 code {\r
  50     font-family: Verdana,Arial,sans-serif;\r
  51         background-color: #efefef;\r
  52         padding: 0px 4px 0px 4px;\r
  53         border-width: 1px 1px 1px 1px;\r
  54         border-style: solid;\r
  55         border-color: #edd #baa #baa #eed;              \r
  56 }\r
  57 \r
  58 \r
  59 div#toc {\r
  60         color: #f0f0f0;\r
  61         padding-bottom: 15px;\r
  62 }\r
  63 \r
  64 div#toc ul {\r
  65         list-style: none;\r
  66 }\r
  67 div#toc li {\r
  68         padding-top: 2px;\r
  69         padding-bottom: 0px;\r
  70 }\r
  71 \r
  72 ol {\r
  73         margin-top: 0px;\r
  74 }\r
  75 \r
  76 ol li {\r
  77         padding-bottom: 3px;\r
  78 }\r
  79 \r
  80 dl {\r
  81         margin: 0 10px\r
  82 }\r
  83 dl dd { \r
  84         padding-top: 0px;\r
  85         padding-left: 5px;\r
  86         margin-left: 5%;\r
  87         border-left: 1px solid #d0d0d0;\r
  88         margin-bottom: 10px;\r
  89 }\r
  90 \r
  91 dd p {\r
  92         margin-top: 0px;\r
  93         margin-bottom: 0px;\r
  94 }\r
  95 dd p:last-child {\r
  96         padding-bottom: 0px;\r
  97 }\r
  98 acronym {\r
  99         cursor: help;\r
 100 }\r
 101 a[href*="http"] {\r
 102         padding-right: 8px;\r
 103         background-image: url('link-out.gif');\r
 104         background-repeat: no-repeat;\r
 105         background-position: right 4px;\r
 106         margin-right: 2px;\r
 107 }\r
 108 div#nav-links {\r
 109         margin-left: 20px;\r
 110         margin-right: 20px;\r
 111         margin-bottom: 20px;\r
 112 }\r
 113 div#nav-links a {\r
 114         color: black;\r
 115         text-decoration: none;\r
 116         border-bottom: 1px solid;\r
 117 }\r
 118 pre {\r
 119         padding: 10px;\r
 120         background:#F6EAD6 none repeat scroll 0 0;\r
 121         border:1px solid black;\r
 122         font-family:"Bitstream Vera Sans Mono",monospace;\r
 123         margin-top:1em;\r
 124 }\r
 125 div.seq {\r
 126         font-size: smaller;\r
 127         padding: 5px;\r
 128         border: 1px dashed #cfcfcf;\r
 129 }\r
 130 div.tag {\r
 131         margin: 10px;\r
 132         font-size: smaller;\r
 133         padding: 5px;\r
 134         line-height: 110%;\r
 135         color: #cfcfcf;\r
 136 }\r
 137 div.add-note {\r
 138         background-color: #f0f0f0;\r
 139         padding: 5px;\r
 140 }\r
 141 div.add-note h3 {\r
 142         margin-top: 0px;\r
 143         margin-bottom: 0px;\r
 144 }\r
 145 div.note {\r
 146         background-color: #fefefe;\r
 147         padding: 5px;\r
 148         margin-bottom: 5px;\r
 149 }\r
 150 div.note h4 {\r
 151         margin-top: 0px;\r
 152         margin-bottom: 0px;\r
 153 }\r
 154 div.note h5 {\r
 155         margin-top: 0px;\r
 156         margin-bottom: 0px;\r
 157         float: right;\r
 158         font-weight: normal;\r
 159 }\r