comparison: docs/html/davdoc.css
docs/html/davdoc.css
- changeset 273
- c743721d566f
- parent 266
- 8c44c5919691
- child 275
- fa48ab29abd2
equal
deleted
inserted
replaced
| 272:b321a3be0a38 | 273:c743721d566f |
|---|---|
| 26 width: 15em; | 26 width: 15em; |
| 27 } | 27 } |
| 28 | 28 |
| 29 div.nav { | 29 div.nav { |
| 30 color: black; | 30 color: black; |
| 31 background-color: #E9EBEC; | 31 background-color: #d2d2d2; |
| 32 margin-bottom: 1em; | 32 margin-bottom: 1em; |
| 33 padding-bottom: 0.1em; | 33 padding-bottom: 0.1em; |
| 34 } | 34 } |
| 35 | 35 |
| 36 div.nav h3 { | 36 div.nav h3 { |
| 37 color: white; | 37 color: white; |
| 38 background-color: #5B6F7A; | 38 background-color: #1a3300; |
| 39 font-size: 1.2em; | 39 font-size: 1.2em; |
| 40 padding-top: 0.2em; | 40 padding-top: 0.2em; |
| 41 padding-bottom: 0.2em; | 41 padding-bottom: 0.2em; |
| 42 padding-left: 0.5em; | 42 padding-left: 0.5em; |
| 43 margin-top: 0; | 43 margin-top: 0; |
| 57 min-width: 16em; | 57 min-width: 16em; |
| 58 } | 58 } |
| 59 | 59 |
| 60 div.content h1 { | 60 div.content h1 { |
| 61 color: white; | 61 color: white; |
| 62 background-color: #5B6F7A; | 62 background-color: #1a3300; |
| 63 font-size: 1.2em; | 63 font-size: 1.2em; |
| 64 padding-top: 0.2em; | 64 padding-top: 0.2em; |
| 65 padding-bottom: 0.2em; | 65 padding-bottom: 0.2em; |
| 66 padding-left: 0.5em; | 66 padding-left: 0.5em; |
| 67 padding-right: 0; | 67 padding-right: 0; |
