aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc_src/user_doc.css
diff options
context:
space:
mode:
authorGravatar Mark Griffiths <mark@thebespokepixel.com>2014-08-26 19:19:24 +0100
committerGravatar Mark Griffiths <mark@thebespokepixel.com>2014-09-03 14:43:27 +0100
commit98ebb21489b3206ed745aadb821b400a9f3fa5c6 (patch)
tree9d2aea1113833c9173b897913762d2c5de2d0d85 /doc_src/user_doc.css
parent137abd0cfaa8959224f88a4ebe9584a51468cc88 (diff)
Consistency fixes
Diffstat (limited to 'doc_src/user_doc.css')
-rw-r--r--doc_src/user_doc.css6
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;