diff options
| author | Gerald Combs <gerald@wireshark.org> | 2019-08-15 10:54:02 -0700 |
|---|---|---|
| committer | Gerald Combs <gerald@wireshark.org> | 2019-08-15 17:55:08 +0000 |
| commit | 646ff56fae6bd9010e9b13c9e9c2c956314d872e (patch) | |
| tree | c9df7fcf24202a54010471ef9e12113af7e1274f | |
| parent | 25d34da7d7055178e2cc0f4b190d7c2e2c9faafd (diff) | |
doc+docbook: Add .guisubmenu.
Change-Id: I40ce4a26b0d8228cccca2904dc4c71f2c01b40ce
Reviewed-on: https://code.wireshark.org/review/34296
Reviewed-by: Gerald Combs <gerald@wireshark.org>
| -rw-r--r-- | docbook/ws.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docbook/ws.css b/docbook/ws.css index c1029dd7e9..9d6aeabce5 100644 --- a/docbook/ws.css +++ b/docbook/ws.css @@ -720,7 +720,7 @@ 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: .1em .3em .1em .3em; border: 0.5px rgba(0, 0, 0, 0.5) solid; } +.guimenu, .guisubmenu, .guimenuitem { padding: .1em .3em .1em .3em; border: 0.5px rgba(0, 0, 0, 0.5) solid; } .guibutton { padding: .1em .3em .1em .3em; border: 0.5px rgba(0, 0, 0, 0.5) solid; border-radius: 4px; } |