home *** CD-ROM | disk | FTP | other *** search
/ DOS/V Power Report 2001 December (DVD) / VPR0112A.ISO / OLS / HTMLLINT / htmllint.lzh / htmllint.css < prev    next >
Cascading Style Sheet File  |  2001-07-08  |  4KB  |  235 lines
  1. /* CSS for Another HTML-lint */
  2.  
  3. body {
  4. /*    background-image: url(background.gif); */
  5. /*    background-color: #E4EDE3; */
  6. /*    background-attachment: fixed; */
  7. /*    color: #000000; */
  8. }
  9.  
  10. a:link    { color: #0000CC }
  11. a:visited { color: #330099 }
  12. a:active  { color: #FF0000 }
  13.  
  14. h1 span {
  15.     font-family: serif;
  16.     font-weight: 600;
  17. }
  18. h2.book {
  19.     font-size: 1.5em;
  20.     font-weight: 600;
  21. }
  22. h2.title {
  23.     margin: 1em 1em 0em 0em;
  24.     padding-left: 0.5em;
  25.     font-size: 1.75em;
  26.     font-weight: 600;
  27.     border-width: 0.3em 0em 0.1em 0.7em;
  28.     border-style: solid;
  29. }
  30. h3.title {
  31.     margin: 1em 1em 0em 0em;
  32.     padding-left: 0.5em;
  33.     font-size: 1.5em;
  34.     font-weight: 600;
  35.     border-width: 0.2em 0em 0.1em 0.7em;
  36.     border-style: solid;
  37. }
  38. h2.title,
  39. h3.title,
  40. div.title {
  41.     border-color: ThreeDShadow;
  42. }
  43.  
  44. .date, .version, .size, .forjap, .counter,
  45. address { font-family: serif; }
  46.  
  47. div.title {
  48.     margin: 1em 1em 0em 0em;
  49.     border-width: 0.2em 0em 0.1em 0.7em;
  50.     border-style: solid;
  51. }
  52. .cite {
  53.     border-width: 1px;
  54.     border-style: solid;
  55.     border-color: ThreeDShadow;
  56.     padding: 0.5em;
  57. }
  58. .link-free,
  59. .caution {
  60. /*    margin-right: 0em; */
  61. }
  62. .link-free,
  63. .caution,
  64. .unfriendly {
  65.     background-color: #FFFFCC;
  66.     border-width: medium;
  67.     border-style: solid;
  68.     border-color: #CCCC66;
  69.     padding: 0.5em;
  70. }
  71. div.lynx {
  72.     border-width: medium;
  73.     border-style: solid;
  74.     border-color: #CCCC66;
  75.     font-family: monospace;
  76.     margin-left: 1em;
  77.     width: 42em;
  78. }
  79. pre.lynx {
  80.     margin-left: 1em;
  81. }
  82. .comment {
  83. /*    font-size: 1.1em; */
  84.     font-weight: 500;
  85. /*    background-color: #FFFFCC; */
  86.     border-width: thick;
  87.     border-style: groove;
  88.     border-color: #CC3333;
  89.     padding: 0.5em;
  90. }
  91. span.ring {
  92.     font-size: 1.8em;
  93.     font-family: serif;
  94.     font-weight: bold;
  95. /*    font-style: italic; */
  96.     color: #006600;
  97. }
  98.  
  99. hr.none { display: none }
  100.  
  101. span.religious     { color: red }
  102. span.accessibility { color: blue }
  103. span.warn          { color: red }
  104.  
  105. /* use-htmllint.html */
  106. div.options {
  107.     border-width: thin;
  108.     border-style: solid;
  109.     border-color: ThreeDShadow;
  110.     margin-left: 0.5em;
  111.     margin-right: 0.5em;
  112.     padding: 0.5em;
  113. }
  114.  
  115. /* rulefile.html */
  116. ol.rulefile li {
  117.     margin-top: 0.5em;
  118. }
  119. ol.rulefile li ul li {
  120.     margin-top: 0em;
  121. }
  122. ol.rulefile li dl dt {
  123.     margin-left: 1em;
  124.     margin-top: 0.5em;
  125. }
  126.  
  127. /* download.html */
  128. ul.necessary li,
  129. dl.inc-files dt {
  130.     margin-top: 0.5 em;
  131. }
  132.  
  133. /* thanks.html */
  134. dl.thanks dt {
  135.     margin-top: 0.5em;
  136. }
  137.  
  138. /* explain.html */
  139. div.errnavimg {
  140.     float: right;
  141. /*    margin-top: -2em; */
  142. }
  143.  
  144. /* explain-wai.html */
  145. dl.guideline dd {
  146.     margin-top: 0.75em;
  147. /*    padding-left: 3em;
  148.     text-indent: -2em; */
  149. }
  150. dl.guideline dd dd {
  151.     margin-top: 0em;
  152. /*    padding-left: 0em;
  153.     text-indent:  0em; */
  154. }
  155. dl.priority dt {
  156.     margin-top: 0.5em;
  157. }
  158. span.checkpoint {
  159.     font-weight: bold;
  160. }
  161. span.priority1 {
  162.     color: #FF0000;
  163.     background: white;
  164.     font-weight: bold;
  165. }
  166. span.priority2 {
  167.     font-weight: bold;
  168. }
  169. span.priority3 {
  170.     font-weight: bold;
  171. }
  172. /* findfault.html */
  173. dl.findfault    { margin-left: 1.5em }
  174. dl.findfault dt { margin-top:  0.5em }
  175.  
  176. /* explain.html */
  177. ol.explain0 p.whine,
  178. ol.explain p.whine {
  179.     color: black;
  180. /*    color: #0050B2; */
  181.     border-width: 1px;
  182.     border: 1px solid;
  183.     border-color: ThreeDShadow;
  184.     background-color: #FFFFCC;
  185.     padding-top: 5px;
  186.     padding-bottom: 5px;
  187.     padding-right: 5px;
  188.     padding-left: 5px;
  189. /*    margin-top: 10px; */
  190.     margin-right: 32px;
  191. /*    width: 90%; */
  192. /*    float: left; */
  193. }
  194.  
  195. /* explain-wai.html */
  196. h3.guideline {
  197.     font-size: 110%;
  198.     font-weight: bold;
  199.     color: black;
  200. /*    color: #0050B2; */
  201.     border-width: 1px;
  202.     border: 1px solid;
  203.     border-color: ThreeDShadow;
  204.     background-color: #FFFFCC;
  205.     padding-top: 5px;
  206.     padding-bottom: 5px;
  207.     padding-right: 5px;
  208.     padding-left: 5px;
  209.     margin-top: 10px;
  210.     margin-right: 32px;
  211. /*    width: 90%; */
  212. }
  213.  
  214. /* explain-omake.html */
  215. ol.omake p.omake {
  216.     color: black;
  217. /*    color: #0050B2; */
  218.     border-width: 1px;
  219.     border: 1px solid;
  220.     border-color: ThreeDShadow;
  221.     background-color: #FFFFCC;
  222.     padding-top: 5px;
  223.     padding-bottom: 5px;
  224.     padding-right: 5px;
  225.     padding-left: 5px;
  226. /*    margin-top: 10px; */
  227.     margin-right: 32px;
  228. /*    width: 90%; */
  229. }
  230.  
  231. /* faq.html */
  232. dl.faq dt { font-weight: bold }
  233.  
  234. @import url(htmllint2.css);
  235.