diff options
Diffstat (limited to 'util/doxygen.css')
-rw-r--r-- | util/doxygen.css | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/util/doxygen.css b/util/doxygen.css index 3e7b3f6..80d987e 100644 --- a/util/doxygen.css +++ b/util/doxygen.css @@ -94,13 +94,23 @@ code, .fragment { font-family: monospace, fixed; } -pre.fragment { +pre.fragment, div.fragment { background-color: #EEEEFF; border: 1px solid #AAAAFF; padding: 0.5em; margin: 0.375em 0.75em 0.375em 0.2em; } +div.fragment > pre.fragment { + border-style: none; + padding: 0; + margin: 0; +} + +div.line { + white-space: pre; +} + div.ah { background-color: #000000; color: #FFFFFF; |