diff options
| author | Gerald Combs <gerald@wireshark.org> | 2019-08-12 16:06:04 -0700 |
|---|---|---|
| committer | Gerald Combs <gerald@wireshark.org> | 2019-08-12 23:07:20 +0000 |
| commit | f5aaea0da9c50dd5c692f43ce0de347744162f4d (patch) | |
| tree | 9b148a3064fcd920733ad7bd1bed54980eb4c529 /docbook/ws.css | |
| parent | 86a35ac6a20098c248b7a69944146bad368e6228 (diff) | |
doc+docbook: More CSS tweaks.
Change-Id: I16af6fec3eccf5e8516a1fbcfe269882493e41d0
Reviewed-on: https://code.wireshark.org/review/34260
Reviewed-by: Gerald Combs <gerald@wireshark.org>
Diffstat (limited to 'docbook/ws.css')
| -rw-r--r-- | docbook/ws.css | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docbook/ws.css b/docbook/ws.css index 32c13ad5da..c1029dd7e9 100644 --- a/docbook/ws.css +++ b/docbook/ws.css @@ -720,11 +720,11 @@ p, pre { margin-bottom: 1.25rem; } .exampleblock > .content { background-color: #fffef7; border-color: #e0e0dc; -webkit-box-shadow: 0 1px 4px #e0e0dc; box-shadow: 0 1px 4px #e0e0dc; } -.guimenu, .guimenuitem { padding: 0.1em; border: 0.5px rgba(0, 0, 0, 0.5) solid; } +.guimenu, .guimenuitem { padding: .1em .3em .1em .3em; border: 0.5px rgba(0, 0, 0, 0.5) solid; } -.guibutton { padding: 0.1em; border: 0.5px rgba(0, 0, 0, 0.5) solid; border-radius: 4px; } +.guibutton { padding: .1em .3em .1em .3em; border: 0.5px rgba(0, 0, 0, 0.5) solid; border-radius: 4px; } -.keycap { padding: 0.1em; border: 0.5px rgba(0, 0, 0, 0.5) solid; box-shadow: 1px 1px rgba(0, 0, 0, 0.2); border-radius: 4px; } +.keycap { padding: .1em .3em .1em .3em; border: 0.5px rgba(0, 0, 0, 0.5) solid; box-shadow: 1px 1px rgba(0, 0, 0, 0.2); border-radius: 4px; display: inline-block; min-width: 1.5em; text-align: center; } .print-only { display: none !important; } |