diff options
Diffstat (limited to 'provider')
| -rw-r--r-- | provider/css/default.css | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/provider/css/default.css b/provider/css/default.css index 36cbb72..91c1e2d 100644 --- a/provider/css/default.css +++ b/provider/css/default.css | |||
| @@ -121,4 +121,16 @@ div.sourceCode { | |||
| 121 | 121 | ||
| 122 | pre code { | 122 | pre code { |
| 123 | white-space:pre-wrap; | 123 | white-space:pre-wrap; |
| 124 | } | ||
| 125 | |||
| 126 | div.footnotes { | ||
| 127 | border-top:2px solid #f0f0f0; | ||
| 128 | } | ||
| 129 | |||
| 130 | div.footnotes hr { | ||
| 131 | display:none; | ||
| 132 | } | ||
| 133 | |||
| 134 | a.footnoteRef { | ||
| 135 | text-decoration:none; | ||
| 124 | } \ No newline at end of file | 136 | } \ No newline at end of file |
