grassdocs.css 1.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172
  1. /* GRASS documentation site style sheet
  2. * (copied by 'tools/build_html_index.sh')
  3. *
  4. * send improvements to GRASS Developers list
  5. *
  6. * (eg how to reach the same result on netscape, mozilla konqueror?)
  7. *
  8. * Fonts:
  9. * http://www.w3.org/TR/REC-CSS2/fonts.html
  10. * Tables:
  11. * http://www.w3.org/TR/REC-CSS2/tables.html
  12. */
  13. BODY{ background: white;
  14. color: black;
  15. font-family: arial,sans-serif;
  16. }
  17. H1{ background-color: transparent;
  18. color: rgb(25%, 60%, 25%);
  19. font-family: arial,sans-serif;
  20. font-weight: bold;
  21. font-size: x-large;
  22. }
  23. H2{ background-color: transparent;
  24. color: rgb(25%, 60%, 25%);
  25. font-family: arial,sans-serif;
  26. font-weight: bold;
  27. font-size: large;
  28. }
  29. H3{ background-color: transparent;
  30. color: rgb(25%, 60%, 25%);
  31. font-family: arial,sans-serif;
  32. font-weight: bold;
  33. font-size: large;
  34. }
  35. H4{ background-color: transparent;
  36. color: rgb(25%, 60%, 25%);
  37. font-family: arial,sans-serif;
  38. font-weight: bold;
  39. font-size: medium;
  40. }
  41. DIV.code{ width: 95%;
  42. color : black;
  43. background-color: rgb(90%, 90%, 90%);
  44. padding-left: 1em;
  45. padding-right: 1em;
  46. }
  47. SPAN.code{ width: 95%;
  48. color : black;
  49. background-color: rgb(90%, 90%, 90%);
  50. padding-left: 1em;
  51. padding-right: 1em;
  52. }
  53. .leftmenu {
  54. padding-left: 10px;
  55. }
  56. .BOX {
  57. border: 1px solid #c9c9c9;
  58. margin: 0px 2px 2px 10px;
  59. padding: 0px 4px 2px 6px;
  60. -moz-border-radius: 6px ;
  61. }