diff options
Diffstat (limited to 'doc/source/_static')
| -rw-r--r-- | doc/source/_static/custom.css | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/source/_static/custom.css b/doc/source/_static/custom.css index 1c47d04..ee9a7dc 100644 --- a/doc/source/_static/custom.css +++ b/doc/source/_static/custom.css | |||
| @@ -1,4 +1,8 @@ | |||
| 1 | blockquote { | 1 | blockquote { |
| 2 | border-left: 2px solid #999; | 2 | border-left: 2px solid #999; |
| 3 | padding-left: 20px; | 3 | padding-left: 20px; |
| 4 | } \ No newline at end of file | 4 | } |
| 5 | |||
| 6 | div.body h5 { | ||
| 7 | font-size: 115%; | ||
| 8 | } | ||