style.css 1.2 KB

12345678910111213141516171819202122232425262728293031
  1. body { font-family: helvetica; font-size: .9em;
  2. color: black; background: white }
  3. a:link { color: blue }
  4. a:visited { color: #508 }
  5. a:active { color: red }
  6. .blk { color: black }
  7. .red { color: #c00 }
  8. .grn { color: #080 }
  9. .blu { color: blue }
  10. .com { color: #a00 }
  11. .aside { color: #864 }
  12. .lt { color: #666 }
  13. .lg { font-size: larger }
  14. .sm { font-size: smaller }
  15. .up { margin: 0 0 .5em 0 }
  16. p { margin: 1em 1em }
  17. p.lf { margin: 1em 0 }
  18. .code { color: #800; }
  19. code { color: #800; font-family: monaco, monospace;
  20. font-size: 1em; white-space: nowrap }
  21. pre { font-family: monaco, monospace; font-size: 1em }
  22. div.index { float: right; clear: both;
  23. border-left: 1px solid gray;
  24. margin: .5em 0 .5em .5em; padding: 0 .5em }
  25. table.box { padding: .2em; background: #ddd }
  26. table.norm { border-collapse: collapse;
  27. border: 1px solid gray; }
  28. table.norm th { border: 1px solid gray; background: #ddd }
  29. table.norm td { border: 1px solid gray; padding: 2px 4px }
  30. table.clear td { border: 0; padding: 0 2px }
  31. table.tight td { padding: 1px 4px }