diff options
Diffstat (limited to 'doc/github-markdown.css')
| -rw-r--r-- | doc/github-markdown.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/github-markdown.css b/doc/github-markdown.css index 2b853b3f..581350ae 100644 --- a/doc/github-markdown.css +++ b/doc/github-markdown.css | |||
| @@ -1,3 +1,13 @@ | |||
| 1 | #local-sidebar { | ||
| 2 | width: 230px; | ||
| 3 | float: right; | ||
| 4 | position: relative; | ||
| 5 | z-index: 4; | ||
| 6 | background-color: #fff; | ||
| 7 | border: 1px solid #e2e2e2; | ||
| 8 | border-radius: 3px; | ||
| 9 | } | ||
| 10 | |||
| 1 | body { | 11 | body { |
| 2 | font-family: Helvetica, arial, sans-serif; | 12 | font-family: Helvetica, arial, sans-serif; |
| 3 | font-size: 14px; | 13 | font-size: 14px; |