doc.css 525 B

1234567891011121314151617181920212223242526272829303132333435363738394041
  1. /* $Id$ */
  2. body {
  3. color: black;
  4. background-color: white;
  5. }
  6. ul, ol {
  7. padding-left: 16pt;
  8. }
  9. h1 {
  10. border-bottom: 2px solid #3060C0;
  11. }
  12. h2, h3 {
  13. padding-left: 4pt;
  14. }
  15. h2 {
  16. background: #3060C0;
  17. color: white;
  18. }
  19. p, dl, ul, ol, h5 {
  20. margin-left: 16pt;
  21. }
  22. p.version {
  23. padding-top: 1em;
  24. margin-left: 0pt;
  25. font-size: 50%;
  26. text-align: right;
  27. border-top: 2px solid #3060C0;
  28. }
  29. p.todo {
  30. color: red;
  31. }
  32. a.internal, a.external:visited {
  33. color: #000080;
  34. }
  35. a.external:link {
  36. color: #0000FF;
  37. }
  38. a.external:active {
  39. color: #8080FF;
  40. }