From 13dcab5b8f40058b7597e51a44207c0745eab9fd Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 1 Aug 2017 16:46:37 +0200 Subject: Port ssr manual to Coq's latex/hevea style Work done by Assia Mahboubi and Enrico Tassi --- .../styles/html/coqremote/sites/all/themes/coq/style.css | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'doc/common') 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 -- cgit v1.2.3