123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172 |
- /* GRASS documentation site style sheet
- * (copied by 'tools/build_html_index.sh')
- *
- * send improvements to GRASS Developers list
- *
- * (eg how to reach the same result on netscape, mozilla konqueror?)
- *
- * Fonts:
- * http://www.w3.org/TR/REC-CSS2/fonts.html
- * Tables:
- * http://www.w3.org/TR/REC-CSS2/tables.html
- */
- BODY{ background: white;
- color: black;
- font-family: arial,sans-serif;
- }
- H1{ background-color: transparent;
- color: rgb(25%, 60%, 25%);
- font-family: arial,sans-serif;
- font-weight: bold;
- font-size: x-large;
- }
- H2{ background-color: transparent;
- color: rgb(25%, 60%, 25%);
- font-family: arial,sans-serif;
- font-weight: bold;
- font-size: large;
- }
- H3{ background-color: transparent;
- color: rgb(25%, 60%, 25%);
- font-family: arial,sans-serif;
- font-weight: bold;
- font-size: large;
- }
- H4{ background-color: transparent;
- color: rgb(25%, 60%, 25%);
- font-family: arial,sans-serif;
- font-weight: bold;
- font-size: medium;
- }
- DIV.code{ width: 95%;
- color : black;
- background-color: rgb(90%, 90%, 90%);
- padding-left: 1em;
- padding-right: 1em;
- }
- SPAN.code{ width: 95%;
- color : black;
- background-color: rgb(90%, 90%, 90%);
- padding-left: 1em;
- padding-right: 1em;
- }
- .leftmenu {
- padding-left: 10px;
- }
- .BOX {
- border: 1px solid #c9c9c9;
- margin: 0px 2px 2px 10px;
- padding: 0px 4px 2px 6px;
- -moz-border-radius: 6px ;
- }
|