diff options
author | Gerald Combs <gerald@wireshark.org> | 2017-08-18 12:32:17 -0700 |
---|---|---|
committer | Anders Broman <a.broman58@gmail.com> | 2017-08-22 10:44:50 +0000 |
commit | a34445c1cf340a5e617464aec4042df447327de5 (patch) | |
tree | c88049e8df9aa440cb07a1cd0bc24ad4f312a349 /docbook/ws.css | |
parent | aca55a29f7b982e7a0bd9911d1d176561c8d7a84 (diff) |
WSUG+WSDG: Add a typographic conventions section.
Create a common_src directory for common guide content. Add a
typographic convention section. Update some of the content accordingly.
Change-Id: I4f69c0f52a985c48e07fa0628b19734ec691f74e
Reviewed-on: https://code.wireshark.org/review/23131
Petri-Dish: Gerald Combs <gerald@wireshark.org>
Tested-by: Petri Dish Buildbot <buildbot-no-reply@wireshark.org>
Reviewed-by: Anders Broman <a.broman58@gmail.com>
Diffstat (limited to 'docbook/ws.css')
-rw-r--r-- | docbook/ws.css | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docbook/ws.css b/docbook/ws.css index f7c58fe1af..766076df0f 100644 --- a/docbook/ws.css +++ b/docbook/ws.css @@ -127,6 +127,14 @@ tt.literal, code.literal { font-weight: bold; } +.guibutton { + background: #f4f4f4; + border: 0.5px solid #f4f4f4; + border-radius: 0.25em; + padding-left: 0.25em; + padding-right: 0.25em; +} + .keycap, .guimenu, .guisubmenu, .guimenuitem { border: 0.5px solid silver; padding-left: 0.25em; |