diff options
author | Gerald Combs <gerald@zing.org> | 2014-08-24 11:24:20 -0700 |
---|---|---|
committer | Gerald Combs <gerald@wireshark.org> | 2014-08-24 18:25:11 +0000 |
commit | 7d81eabb4b8e1fab148569864b25529479c250f1 (patch) | |
tree | 95b6060ad4aa49bf2f8f3498df094bee9b864e42 /docbook/ws.css | |
parent | 7de88cc147487a6a5b31fce74b35824b347068d2 (diff) |
Fix Autotools AsciiDoc configuration + CSS updates.
Fix --asciidoc-opts in Makefile.am.
Add borders around menu and keycap markup. I like the latter but the
former could probably use more work.
Change-Id: If02e3d00875106d6b8f8bcf01cd52b1df4f9b6c8
Reviewed-on: https://code.wireshark.org/review/3817
Reviewed-by: Gerald Combs <gerald@wireshark.org>
Diffstat (limited to 'docbook/ws.css')
-rw-r--r-- | docbook/ws.css | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/docbook/ws.css b/docbook/ws.css index 19a93d248a..a83d020a1a 100644 --- a/docbook/ws.css +++ b/docbook/ws.css @@ -123,10 +123,20 @@ tt.literal, code.literal { padding: 0.5em 1em; } -.guibutton, .guimenu, .guimenuitem { +.guibutton, .guimenu, .guisubmenu, .guimenuitem { font-weight: bold; } +.keycap, .guimenu, .guisubmenu, .guimenuitem { + border: 0.5px solid silver; + padding-left: 0.25em; + padding-right: 0.25em; +} + +.keycap { + border-radius: 0.25em; +} + div.sidebar { background: #ffffee; margin: 1.0em 10% 0.5em 0; |