diff options
| -rw-r--r-- | docbook/Makefile.am | 4 | ||||
| -rw-r--r-- | docbook/ws.css | 12 |
2 files changed, 13 insertions, 3 deletions
diff --git a/docbook/Makefile.am b/docbook/Makefile.am index d616d46a86..b88e05d589 100644 --- a/docbook/Makefile.am +++ b/docbook/Makefile.am @@ -59,7 +59,7 @@ endif # .asciidoc -> whole book (.dbk) -> chapter (.xml) wsug_src/%.xml : wsug_src/%.asciidoc $(A2X) --verbose \ - --asciidoc-opts="--conf-file=$(srcdir)/asciidoc.conf" \ + --asciidoc-opts="--conf-file=$(srcdir)/asciidoc.conf --conf-file=$(srcdir)/asciidoctor-asciidoc.conf" \ --no-xmllint \ --format=docbook --doctype=book \ $< @@ -173,7 +173,7 @@ wsdg: $(WSDG_TARGETS) developer-guide.xml: developer-guide.asciidoc $(WSDG_FILES) $(A2X) --verbose \ --attribute=docinfo \ - --asciidoc-opts="--conf-file=$(srcdir)/asciidoc.conf" \ + --asciidoc-opts="--conf-file=$(srcdir)/asciidoc.conf --conf-file=$(srcdir)/asciidoc.conf" \ --no-xmllint \ --format=docbook \ $< 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; |