diff options
author | Mark Griffiths <mark@thebespokepixel.com> | 2014-08-26 19:19:24 +0100 |
---|---|---|
committer | Mark Griffiths <mark@thebespokepixel.com> | 2014-09-03 14:43:27 +0100 |
commit | 98ebb21489b3206ed745aadb821b400a9f3fa5c6 (patch) | |
tree | 9d2aea1113833c9173b897913762d2c5de2d0d85 /doc_src/user_doc.css | |
parent | 137abd0cfaa8959224f88a4ebe9584a51468cc88 (diff) |
Consistency fixes
Diffstat (limited to 'doc_src/user_doc.css')
-rw-r--r-- | doc_src/user_doc.css | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc_src/user_doc.css b/doc_src/user_doc.css index cf76e9ed..a61f2cf2 100644 --- a/doc_src/user_doc.css +++ b/doc_src/user_doc.css @@ -138,12 +138,14 @@ h3 { margin-right: 2px; } .key em, .key b { - padding: 0 4px; + padding: 1px 4px; background-color: #fafafa; - border: 1px solid #aaa; + background: linear-gradient(to bottom, #eee 0%,#fafafa 100%); + border: 1px solid #bbb; border-radius: 3px; font-weight: normal; white-space: nowrap; + box-shadow: 0 1px 2px #ddd; } tt, code, pre, .fish { font-family: "DejaVu Sans Mono", Menlo, Monaco, "Source Code Pro", "Ubuntu Mono", "Consolas", "Lucida Console", monospace, fixed; |