diff options
| author | Sjoerd Visscher <sjoerd@w3future.com> | 2014-06-06 13:51:40 +0200 |
|---|---|---|
| committer | Sjoerd Visscher <sjoerd@w3future.com> | 2014-06-06 13:51:40 +0200 |
| commit | 57cc00329807ea3ccca7b5c2997564281d733250 (patch) | |
| tree | ddde530c80a08ccd329741798a9fbe99a274c569 /mk/fptools.css | |
| parent | 6fa7577aa13e869e569d6feaf9b168b3b4df41e4 (diff) | |
| download | haskell-57cc00329807ea3ccca7b5c2997564281d733250.tar.gz | |
Prevent line wrapping after the dash of an option.
Diffstat (limited to 'mk/fptools.css')
| -rw-r--r-- | mk/fptools.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mk/fptools.css b/mk/fptools.css index 97f276c8d5..7a2b39b10c 100644 --- a/mk/fptools.css +++ b/mk/fptools.css @@ -23,6 +23,8 @@ pre { pre.screen { color: #006400 } pre.programlisting { color: maroon } +code.option { white-space: nowrap } + div.example { margin: 1ex 0em; border: solid #412e25 1px; |