forked from osmocom/wireshark
doc+docbook: More CSS tweaks.
Change-Id: I16af6fec3eccf5e8516a1fbcfe269882493e41d0 Reviewed-on: https://code.wireshark.org/review/34260 Reviewed-by: Gerald Combs <gerald@wireshark.org>
This commit is contained in:
parent
86a35ac6a2
commit
f5aaea0da9
|
@ -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; }
|
||||
|
||||
|
|
Loading…
Reference in New Issue