diff options
Diffstat (limited to 'doc-src/02-docstyle.css')
| -rw-r--r-- | doc-src/02-docstyle.css | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc-src/02-docstyle.css b/doc-src/02-docstyle.css index 7a7f49a4..eee82c58 100644 --- a/doc-src/02-docstyle.css +++ b/doc-src/02-docstyle.css @@ -56,6 +56,13 @@ a { margin: 1em 0; } +/* Keyboard shortcuts */ +#bd em { + font-weight: bold; + color: #04B404; + font-style: normal; +} + #ft.doc { color: #aaa; border-top: 1px solid #aaa; @@ -111,3 +118,5 @@ li a { .highlight { font-size: 14px; } + + |