stylesheet.css 895 B

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455
  1. /* standard EDoc style sheet */
  2. body {
  3. font-family: Verdana, Arial, Helvetica, sans-serif;
  4. margin-left: .25in;
  5. margin-right: .2in;
  6. margin-top: 0.2in;
  7. margin-bottom: 0.2in;
  8. color: #000000;
  9. background-color: #ffffff;
  10. }
  11. h1,h2 {
  12. margin-left: -0.2in;
  13. }
  14. div.navbar {
  15. background-color: #add8e6;
  16. padding: 0.2em;
  17. }
  18. h2.indextitle {
  19. padding: 0.4em;
  20. background-color: #add8e6;
  21. }
  22. h3.function,h3.typedecl {
  23. background-color: #add8e6;
  24. padding-left: 1em;
  25. }
  26. div.spec {
  27. margin-left: 2em;
  28. background-color: #eeeeee;
  29. }
  30. a.module,a.package {
  31. text-decoration:none
  32. }
  33. a.module:hover,a.package:hover {
  34. background-color: #eeeeee;
  35. }
  36. ul.definitions {
  37. list-style-type: none;
  38. }
  39. ul.index {
  40. list-style-type: none;
  41. background-color: #eeeeee;
  42. }
  43. /*
  44. * Minor style tweaks
  45. */
  46. ul {
  47. list-style-type: square;
  48. }
  49. table {
  50. border-collapse: collapse;
  51. }
  52. td {
  53. padding: 3
  54. }