diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-08-01 16:46:37 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-08-02 16:47:54 +0200 |
commit | 13dcab5b8f40058b7597e51a44207c0745eab9fd (patch) | |
tree | 9e5d7dca7676bf9567bed28908e66e0f14cda372 /doc/common | |
parent | 8995d0857277019b54c24672439d3e19b2fcb5af (diff) |
Port ssr manual to Coq's latex/hevea style
Work done by Assia Mahboubi and Enrico Tassi
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 |