grassdocs.css 4.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237
  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-left: 50px;
  21. padding-left: 10px;
  22. padding-right: 10px;
  23. /* width: 750px; */
  24. width: 75%;
  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. a.urlblack {
  80. color: black;
  81. }
  82. div.code{
  83. width: 97%;
  84. color : black;
  85. background-color: rgb(90%, 90%, 90%);
  86. padding-left: 1em;
  87. padding-right: 1em;
  88. }
  89. span.code {
  90. width: 97%;
  91. color : black;
  92. background-color: rgb(90%, 90%, 90%);
  93. padding-left: 1em;
  94. padding-right: 1em;
  95. }
  96. .leftmenu {
  97. padding-left: 10px;
  98. }
  99. td.box {
  100. border: 2px solid rgb(25%, 60%, 25%);
  101. border-radius: 10px;
  102. margin: 0px 2px 2px 10px;
  103. padding: 4px 4px 0px 4px;
  104. }
  105. li.box {
  106. margin-left: -20px;
  107. color: rgb(25%, 60%, 25%);
  108. padding-bottom: 3px;
  109. }
  110. li.box span {
  111. color: black;
  112. }
  113. table.border {
  114. border-collapse:collapse;
  115. }
  116. table.border td {
  117. border: 1px solid rgb(25%, 60%, 25%);
  118. }
  119. td {
  120. padding: 5px;
  121. }
  122. div.toc{
  123. /* background-color: transparent; */
  124. position: fixed;
  125. border: solid 1px rgb(25%, 60%, 25%);
  126. top: 5px;
  127. right: 5px;
  128. width: 17%;
  129. font-size: small;
  130. border-radius: 10px;
  131. z-index: 1;
  132. }
  133. li.toc {
  134. margin-left: 0;
  135. padding: 3px 3px 3px 3px;
  136. padding-left: 0;
  137. color: rgb(25%, 60%, 25%);
  138. }
  139. ul.toc {
  140. margin-top: 3px;
  141. margin-bottom: 3px;
  142. padding-left: 10%;
  143. margin-left: 5%;
  144. }
  145. a.toc {
  146. text-decoration: none;
  147. }
  148. a.toc:hover, a.toc:active {
  149. text-decoration: underline;
  150. }
  151. h4.toc {
  152. padding-top: 3px;
  153. margin-top: 3px;
  154. padding-bottom: 3px;
  155. margin-bottom: 3px;
  156. padding-left: 6px;
  157. }
  158. /* show and hide toc */
  159. div.toc:hover ul {
  160. display: block;
  161. }
  162. div.toc ul {
  163. display: none;
  164. }
  165. div.toc:hover {
  166. background-color: white;
  167. }
  168. div.toc {
  169. background-color: rgba(255, 255, 255, 0.7);
  170. }
  171. /* This is for a more detailed equivalent of option->descriptions
  172. * (perhaps it can be used more generally as well).
  173. * Creates a description list with highlighted items titles
  174. * but not too visible in the overall text flow. */
  175. .option_descriptions dt {
  176. font-weight: bold;
  177. color: #222;
  178. }
  179. table.compact {
  180. font-size: 80%;
  181. }
  182. /* default style is too spread out */
  183. table.compact td, table.compact th {
  184. padding-left: 0.5em;
  185. padding-right: 0.2em;
  186. padding-top: 0.2em;
  187. padding-bottom: 0.2em;
  188. }
  189. /* do table using alternate colors of rows */
  190. table.compact tr:nth-child(odd) {
  191. background: #EEE;
  192. }
  193. table.compact tr:nth-child(even) {
  194. background: #FFF;
  195. }
  196. /* soft strike through so that we can still see the text */
  197. s {
  198. text-decoration-color: rgba(0, 0, 0, 0.53);
  199. }