diff options
| author | jvoisin | 2018-01-15 10:27:41 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-15 10:27:41 +0100 |
| commit | 998e3261f67900ff2729c291b8814f104fb3560d (patch) | |
| tree | e028b0d740c46786149f19a3ddc7c41c1ba3021c /doc/source/_static | |
| parent | e61e3c24152fe0a236001726baa0c9537b704100 (diff) | |
Add a note about session cookies handling.
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 | } | ||