diff options
Diffstat (limited to 'doc/coq2html.css')
-rw-r--r-- | doc/coq2html.css | 88 |
1 files changed, 88 insertions, 0 deletions
diff --git a/doc/coq2html.css b/doc/coq2html.css new file mode 100644 index 00000000..5a326a35 --- /dev/null +++ b/doc/coq2html.css @@ -0,0 +1,88 @@ +/* Classes: + h1.title the title of the page + div.coq encloses all generated body + div.doc contents of (** *) comments + div.footer footer + div.togglescript "Proof." line + div.proofscript contents of proof script + span.docright contents of (**r *) comments + span.bracket contents of [ ] within comments + span.kwd Coq keyword + span.tactic Coq tactic + span.id any other identifier +*/ + +body { + color: black; + background: white; +} + +h1.title { + font-size: 2em; + text-align: center +} + +h1 { + font-size: 1.5em; +} +h2 { + font-size: 1.17em; +} +h3 { + font-size: 1em; +} + +h1, h2, h3 { + font-family: sans-serif; + margin-left: -5%; +} + +div.coq { + margin-left: 15%; + margin-right: 5%; + font-family: monospace; +} + +div.doc { + margin-left: -5%; + margin-top: 0.2em; + margin-bottom: 0.5em; + font-family: serif; +} + +div.toggleproof { + font-size: 0.8em; + text-decoration: underline; +} + +div.proofscript { + font-size: 0.8em; +} + +div.footer { + margin-top: 1em; + margin-bottom: 1em; + font-size: 0.8em; + font-style: italic; +} + +span.docright { + position: absolute; + left: 60%; + width: 40%; + font-family: serif; +} + +span.bracket { + font-family: monospace; + color: #008000; +} + +span.kwd { + color: #cf1d1d; +} + +a:visited {color : #416DFF; text-decoration : none; } +a:link {color : #416DFF; text-decoration : none; } +a:hover {text-decoration : none; } +a:active {text-decoration : none; } |