doc: Improve CSS style of option element

Prevent wrapping of the element content to avoid confusing line breaks
between hyphens.

diff --git a/doc/src/sgml/stylesheet.css b/doc/src/sgml/stylesheet.css
index 0fd0f017826083edc5c3442a60dfc53c90e1518b..60dcc762097470a54e2b213534cbe0ba317bf654 100644 (file)
--- a/doc/src/sgml/stylesheet.css
+++ b/doc/src/sgml/stylesheet.css
@@ -94,3 +94,5 @@ PRE.LITERALLAYOUT, .SCREEN, .SYNOPSIS, .PROGRAMLISTING {
 VAR        { font-family: monospace; font-style: italic; }
 /* Konqueror's standard style for ACRONYM is italic. */
 ACRONYM        { font-style: inherit; }
+
+.OPTION        { white-space: nowrap; }