grassdocs.css 3.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197
  1. /* GRASS GIS documentation site style sheet
  2. *
  3. * send improvements to GRASS Developers list
  4. *
  5. * (eg how to reach the same result on netscape, mozilla konqueror?)
  6. *
  7. * Fonts:
  8. * http://www.w3.org/TR/REC-CSS2/fonts.html
  9. * Tables:
  10. * http://www.w3.org/TR/REC-CSS2/tables.html
  11. */
  12. body{
  13. background: white;
  14. color: black;
  15. font-family: arial,sans-serif;
  16. }
  17. #container
  18. {
  19. position: relative;
  20. margin: 0 auto;
  21. padding-left: 10px;
  22. padding-right: 10px;
  23. /* width: 750px; */
  24. width: 60%;
  25. background-color: white;
  26. height:auto !important;
  27. min-height: 100%;
  28. border-style:solid;
  29. border-bottom-width: 2px;
  30. border-top-width: 2px;
  31. border-left-width: 10px;
  32. border-right-width: 10px;
  33. border-color: #DDDDDD;
  34. }
  35. img {
  36. max-width: 100%;
  37. }
  38. hr.header {
  39. height: 3px;
  40. color: gray;
  41. background-color: gray;
  42. width: 100%;
  43. }
  44. h1{
  45. background-color: transparent;
  46. color: rgb(25%, 60%, 25%);
  47. font-family: arial,sans-serif;
  48. font-weight: bold;
  49. font-size: xx-large;
  50. width: 80%; /* avoid collision with toc */
  51. }
  52. h2{
  53. background-color: transparent;
  54. color: rgb(25%, 60%, 25%);
  55. font-family: arial,sans-serif;
  56. font-weight: bold;
  57. font-size: x-large;
  58. }
  59. h3{
  60. background-color: transparent;
  61. color: rgb(25%, 60%, 25%);
  62. font-family: arial,sans-serif;
  63. font-weight: bold;
  64. font-size: large;
  65. }
  66. h4{
  67. background-color: transparent;
  68. color: rgb(25%, 60%, 25%);
  69. font-family: arial,sans-serif;
  70. font-weight: bold;
  71. font-size: medium;
  72. }
  73. a {
  74. color: rgb(25%, 60%, 25%);
  75. }
  76. a:visited {
  77. color: rgb(25%, 60%, 25%);
  78. }
  79. div.code{
  80. width: 97%;
  81. color : black;
  82. background-color: rgb(90%, 90%, 90%);
  83. padding-left: 1em;
  84. padding-right: 1em;
  85. }
  86. span.code {
  87. width: 97%;
  88. color : black;
  89. background-color: rgb(90%, 90%, 90%);
  90. padding-left: 1em;
  91. padding-right: 1em;
  92. }
  93. .leftmenu {
  94. padding-left: 10px;
  95. }
  96. td.box {
  97. border: 2px solid rgb(25%, 60%, 25%);
  98. border-radius: 10px;
  99. margin: 0px 2px 2px 10px;
  100. padding: 4px 4px 4px 4px;
  101. }
  102. li.box {
  103. margin-left: -20px;
  104. color: rgb(25%, 60%, 25%);
  105. }
  106. li.box span {
  107. color: black;
  108. }
  109. table.border {
  110. border-collapse:collapse;
  111. }
  112. table.border td {
  113. border: 1px solid rgb(25%, 60%, 25%);
  114. }
  115. td {
  116. padding: 5px;
  117. }
  118. div.toc{
  119. /* background-color: transparent; */
  120. position: fixed;
  121. border: solid 1px rgb(25%, 60%, 25%);
  122. top: 5px;
  123. right: 5px;
  124. width: 17%;
  125. font-size: small;
  126. border-radius: 10px;
  127. z-index: 1;
  128. }
  129. li.toc {
  130. margin-left: 0;
  131. padding: 3px 3px 3px 3px;
  132. padding-left: 0;
  133. color: rgb(25%, 60%, 25%);
  134. }
  135. ul.toc {
  136. margin-top: 3px;
  137. margin-bottom: 3px;
  138. padding-left: 10%;
  139. margin-left: 5%;
  140. }
  141. a.toc {
  142. text-decoration: none;
  143. }
  144. a.toc:hover, a.toc:active {
  145. text-decoration: underline;
  146. }
  147. h4.toc {
  148. padding-top: 3px;
  149. margin-top: 3px;
  150. padding-bottom: 3px;
  151. margin-bottom: 3px;
  152. padding-left: 6px;
  153. }
  154. /* show and hide toc */
  155. div.toc:hover ul {
  156. display: block;
  157. }
  158. div.toc ul {
  159. display: none;
  160. }
  161. div.toc:hover {
  162. background-color: white;
  163. }
  164. div.toc {
  165. background-color: rgba(255, 255, 255, 0.7);
  166. }