diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-11-26 01:00:41 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-11-26 01:00:41 +0000 |
commit | fa4b252945a870100305c159d20e264be18973ce (patch) | |
tree | 435cbd07a2af45f3f08dc8ac892fa48044047eeb /docs/proof/docutils_basic.css | |
parent | 29bee524cccfe08c680f655b1969a4c421e0a969 (diff) | |
download | vericert-kvx-fa4b252945a870100305c159d20e264be18973ce.tar.gz vericert-kvx-fa4b252945a870100305c159d20e264be18973ce.zip |
Add proof documentation
Diffstat (limited to 'docs/proof/docutils_basic.css')
-rw-r--r-- | docs/proof/docutils_basic.css | 591 |
1 files changed, 591 insertions, 0 deletions
diff --git a/docs/proof/docutils_basic.css b/docs/proof/docutils_basic.css new file mode 100644 index 0000000..067f1ea --- /dev/null +++ b/docs/proof/docutils_basic.css @@ -0,0 +1,591 @@ +/****************************************************************************** +The MIT License (MIT) + +Copyright (c) 2014 Matthias Eisen +Further changes Copyright (c) 2020 Clément Pit-Claudel + +Permission is hereby granted, free of charge, to any person obtaining a copy +of this software and associated documentation files (the "Software"), to deal +in the Software without restriction, including without limitation the rights +to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +copies of the Software, and to permit persons to whom the Software is +furnished to do so, subject to the following conditions: + +The above copyright notice and this permission notice shall be included in +all copies or substantial portions of the Software. + +THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN +THE SOFTWARE. +******************************************************************************/ + +code, +kbd, +pre, +samp, +tt, +.docutils.literal { + font-family: 'Iosevka Slab Web', 'Iosevka Web', 'Iosevka Slab', 'Iosevka', 'Fira Code', monospace; + font-feature-settings: "XV00" 1; /* Use Coq ligatures when Iosevka is available */ +} + +body { + font-family: "Alegreya", 'IBM Plex Serif', 'PT Serif', 'Merriweather', 'DejaVu Serif', serif; + color: #111; +} + +div.document { + margin: 0 auto; + max-width: 720px; +} + + +/* ========== Headings ========== */ + +h1, h2, h3, h4, h5, h6 { + font-weight: normal; + margin-top: 1.5em; +} + +h1.section-subtitle, +h2.section-subtitle, +h3.section-subtitle, +h4.section-subtitle, +h5.section-subtitle, +h6.section-subtitle { + margin-top: 0.4em; +} + +h1.title { + text-align: center; +} + +h2.subtitle { + text-align: center; +} + +span.section-subtitle { + font-size: 80%, +} + +/* //-------- Headings ---------- */ + + +/* ========== Images ========== */ + +img, +.figure, +object { + display: block; + margin-left: auto; + margin-right: auto; +} + +div.figure { + margin-left: 2em; + margin-right: 2em; +} + +img.align-left, .figure.align-left, object.align-left { + clear: left; + float: left; + margin-right: 1em; +} + +img.align-right, .figure.align-right, object.align-right { + clear: right; + float: right; + margin-left: 1em; +} + +img.align-center, .figure.align-center, object.align-center { + display: block; + margin-left: auto; + margin-right: auto; +} + +/* reset inner alignment in figures */ +div.align-right { + text-align: inherit; +} + +object[type="image/svg+xml"], +object[type="application/x-shockwave-flash"] { + overflow: hidden; +} + +/* //-------- Images ---------- */ + + + +/* ========== Literal Blocks ========== */ + +.docutils.literal { + background-color: #eee; + padding: 0 0.2em; + border-radius: 0.1em; +} + +pre.address { + margin-bottom: 0; + margin-top: 0; + font: inherit; +} + +pre.literal-block { + border-left: solid 5px #ccc; + padding: 1em; +} + +pre.literal-block, pre.doctest-block, pre.math, pre.code { +} + +span.interpreted { +} + +span.pre { + white-space: pre; +} + +pre.code .ln { + color: grey; +} +pre.code, code { + border-style: none; + padding: 1em 0; +} +pre.code .comment, code .comment { + color: #888; +} +pre.code .keyword, code .keyword { + font-weight: bold; + color: #080; +} +pre.code .literal.string, code .literal.string { + color: #d20; + background-color: #fff0f0; +} +pre.code .literal.number, code .literal.number { + color: #00d; +} +pre.code .name.builtin, code .name.builtin { + color: #038; + color: #820; +} +pre.code .name.namespace, code .name.namespace { + color: #b06; +} +pre.code .deleted, code .deleted { + background-color: #fdd; +} +pre.code .inserted, code .inserted { + background-color: #dfd; +} + + +/* //-------- Literal Blocks --------- */ + + +/* ========== Tables ========== */ + +table { + border-spacing: 0; + border-collapse: collapse; + border-style: none; + border-top: solid thin #111; + border-bottom: solid thin #111; +} + +td, +th { + border: none; + padding: 0.5em; + vertical-align: top; +} + +th { + border-top: solid thin #111; + border-bottom: solid thin #111; + background-color: #ddd; +} + + +table.field-list, +table.footnote, +table.citation, +table.option-list { + border: none; +} +table.docinfo { + margin: 2em 4em; +} + +table.docutils { + margin: 1em 0; +} + +table.docutils th.field-name, +table.docinfo th.docinfo-name { + border: none; + background: none; + font-weight: bold ; + text-align: left ; + white-space: nowrap ; + padding-left: 0; + vertical-align: middle; +} + +table.docutils.booktabs { + border: none; + border-top: medium solid; + border-bottom: medium solid; + border-collapse: collapse; +} + +table.docutils.booktabs * { + border: none; +} +table.docutils.booktabs th { + border-bottom: thin solid; + text-align: left; +} + +span.option { + white-space: nowrap; +} + +table caption { + margin-bottom: 2px; +} + +/* //-------- Tables ---------- */ + + +/* ========== Lists ========== */ + +ol.simple, ul.simple { + margin-bottom: 1em; +} + +ol.arabic { + list-style: decimal; +} + +ol.loweralpha { + list-style: lower-alpha; +} + +ol.upperalpha { + list-style: upper-alpha; +} + +ol.lowerroman { + list-style: lower-roman; +} + +ol.upperroman { + list-style: upper-roman; +} + +dl.docutils dd { + margin-bottom: 0.5em; +} + + +dl.docutils dt { + font-weight: bold; +} + +/* //-------- Lists ---------- */ + + +/* ========== Sidebar ========== */ + +div.sidebar { + margin: 0 0 0.5em 1em ; + border-left: solid medium #111; + padding: 1em ; + width: 40% ; + float: right ; + clear: right; +} + +div.sidebar { + font-size: 0.9rem; +} + +p.sidebar-title { + font-size: 1rem; + font-weight: bold ; +} + +p.sidebar-subtitle { + font-weight: bold; +} + +/* //-------- Sidebar ---------- */ + + +/* ========== Topic ========== */ + +div.topic { + border-left: thin solid #111; + padding-left: 1em; +} + +div.topic p { + padding: 0; +} + +p.topic-title { + font-weight: bold; +} + +/* //-------- Topic ---------- */ + + +/* ========== Header ========== */ + +div.header { + font-family: "Iosevka", "Iosevka Web", CenturyGothic, Geneva, AppleGothic, sans-serif; + font-size: 0.9rem; + margin: 2em auto 4em auto; + max-width: 960px; + clear: both; +} + +hr.header { + border: 0; + height: 1px; + margin-top: 1em; + background-color: #111; +} + +/* //-------- Header ---------- */ + + +/* ========== Footer ========== */ + +div.footer { + font-family: "Iosevka", "Iosevka Web", CenturyGothic, Geneva, AppleGothic, sans-serif; + font-size: 0.9rem; + margin: 6em auto 2em auto; + max-width: 960px; + clear: both; + text-align: center; +} + +hr.footer { + border: 0; + height: 1px; + margin-bottom: 2em; + background-color: #111; +} + +/* //-------- Footer ---------- */ + + +/* ========== Admonitions ========== */ + +div.admonition, +div.attention, +div.caution, +div.danger, +div.error, +div.hint, +div.important, +div.note, +div.tip, +div.warning { + border: solid thin #111; + padding: 0 1em; +} + +div.error, +div.danger { + border-color: #a94442; + background-color: #f2dede; +} + +div.hint, +div.tip { + border-color: #31708f; + background-color: #d9edf7; +} + +div.attention, +div.caution, +div.warning { + border-color: #8a6d3b; + background-color: #fcf8e3; +} + +div.hint p.admonition-title, +div.tip p.admonition-title { + color: #31708f; + font-weight: bold ; +} + +div.note p.admonition-title, +div.admonition p.admonition-title, +div.important p.admonition-title { + font-weight: bold ; +} + +div.attention p.admonition-title, +div.caution p.admonition-title, +div.warning p.admonition-title { + color: #8a6d3b; + font-weight: bold ; +} + +div.danger p.admonition-title, +div.error p.admonition-title, +.code .error { + color: #a94442; + font-weight: bold ; +} + +/* //-------- Admonitions ---------- */ + + +/* ========== Table of Contents ========== */ + +div.contents { + margin: 2em 0; + border: none; +} + +ul.auto-toc { + list-style-type: none; +} + +a.toc-backref { + text-decoration: none ; + color: #111; +} + +/* //-------- Table of Contents ---------- */ + + + +/* ========== Line Blocks========== */ + +div.line-block { + display: block ; + margin-top: 1em ; + margin-bottom: 1em; +} + +div.line-block div.line-block { + margin-top: 0 ; + margin-bottom: 0 ; + margin-left: 1.5em; +} + +/* //-------- Line Blocks---------- */ + + +/* ========== System Messages ========== */ + +div.system-messages { + margin: 5em; +} + +div.system-messages h1 { + color: red; +} + +div.system-message { + border: medium outset ; + padding: 1em; +} + +div.system-message p.system-message-title { + color: red ; + font-weight: bold; +} + +/* //-------- System Messages---------- */ + + +/* ========== Helpers ========== */ + +.hidden { + display: none; +} + +.align-left { + text-align: left; +} + +.align-center { + clear: both ; + text-align: center; +} + +.align-right { + text-align: right; +} + +/* //-------- Helpers---------- */ + + +p.caption { + font-style: italic; + text-align: center; +} + +p.credits { +font-style: italic ; +font-size: smaller } + +p.label { +white-space: nowrap } + +p.rubric { +font-weight: bold ; +font-size: larger ; +color: maroon ; +text-align: center } + +p.attribution { +text-align: right ; +margin-left: 50% } + +blockquote.epigraph { + margin: 2em 5em; +} + +div.abstract { +margin: 2em 5em } + +div.abstract { +font-weight: bold ; +text-align: center } + +div.dedication { +margin: 2em 5em ; +text-align: center ; +font-style: italic } + +div.dedication { +font-weight: bold ; +font-style: normal } + + +span.classifier { +font-style: oblique } + +span.classifier-delimiter { +font-weight: bold } + +span.problematic { +color: red } + + + |