diff options
Diffstat (limited to 'doc/common')
| -rw-r--r-- | doc/common/styles/html/coqremote/sites/all/themes/coq/style.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/common/styles/html/coqremote/sites/all/themes/coq/style.css b/doc/common/styles/html/coqremote/sites/all/themes/coq/style.css index 5df2ae2eb..32c0b3316 100644 --- a/doc/common/styles/html/coqremote/sites/all/themes/coq/style.css +++ b/doc/common/styles/html/coqremote/sites/all/themes/coq/style.css @@ -522,6 +522,19 @@ td.menu-disabled,td.menu-disabled a border:1px solid #ccc; } +.lstlisting { + display: block; + font-family: monospace; + white-space: pre; + margin: 1em 0; +} +.center { + text-align: center; +} +.centered { + display: block-inline; +} + /*----------download table------------*/ table.downloadtable |