|
/************************************************************************/
/* * The Rocq Prover / The Rocq Development Team */
/* v * Copyright INRIA, CNRS and contributors */
/* <O___,, * (see version control and CREDITS file for authors & dates) */
/* \VV/ **************************************************************/
/* // * This file is distributed under the terms of the */
/* * GNU Lesser General Public License Version 2.1 */
/* * (see LICENSE file for the text of the license) */
/************************************************************************/
.notation {
/* font-family: "Ubuntu Mono", "Consolas", monospace; */
white-space: pre-wrap;
font-weight: bold;
}
.notation .notation-sup {
top: -0.4em;
}
.notation .notation-sub {
bottom: -0.4em;
border-radius: 1rem;
}
@font-face { /* This font has been edited to center all characters */
font-family: 'CoqNotations';
font-style: normal;
font-weight: 800;
src: local('CoqNotations'), url(./CoqNotations.ttf) format('truetype');
}
.notation .notation-sup, .notation .notation-sub {
background: #EAEAEA;
border: 1px solid #AAA;
color: black;
/* cursor: help; */
display: inline-block;
font-size: 0.45em;
font-weight: bolder;
font-family: CoqNotations, monospace;
height: 2.2em;
line-height: 1.6em;
position: absolute;
right: -1em; /* half of the width */
text-align: center;
width: 2.2em;
}
.notation .repeat, .notation .alternative {
background: #EAEAEA;
border: 1px solid #AAA;
display: inline-block;
padding: 0 0.2em 0 0.3em;
margin: 0.25em 0;
}
.notation .repeated-alternative {
display: inline-table;
}
.notation .alternative {
display: inline-table;
padding: 0 0.2em;
}
.notation .alternative-block {
display: table-cell;
padding: 0 0.5em;
}
.notation .alternative-separator {
border-left: 1px solid black; /* Display a thin bar */
display: table-cell;
width: 0;
}
.alternative-block:first-child {
padding-left: 0;
}
.alternative-block:last-child {
padding-right: 0;
}
.notation .repeat {
padding-right: 0.6em; /* Space for the left half of the sub- and sup-scripts */
}
.notation .repeat-wrapper,
.notation .repeat-wrapper-with-sub {
display: inline-block;
position: relative;
margin-right: 0.4em; /* Space for the right half of the sub- and sup-scripts */
}
.notation .hole, .std-token .pre {
color: #4e9a06;
font-style: italic;
font-weight: bold;
}
/***********************/
/* Small extra classes */
/***********************/
.math-preamble {
display: none;
}
.inline-grammar-production {
font-weight: bold;
}
/************************/
/* Coqtop IO and Coqdoc */
/************************/
.coqtop dd, .ansi-bg-default {
background: #eeeeee !important;
}
.coqtop dd, .ansi-fg-default {
color: #2e3436 !important;
}
.coqtop dt { /* Questions */
background: none !important;
color: #333 !important;
font-weight: normal !important;
padding: 0 !important;
margin: 0 !important;
}
.coqtop dd { /* Responses */
padding: 0.5em;
margin-left: 0 !important;
margin-top: 0.5em !important;
}
.coqdoc > span, .coqtop dl {
margin: 12px; /* Copied from RTD theme */
}
.coqdoc > span {
display: block;
}
.coqtop dt, .coqtop dd {
border: none !important;
display: block !important;
}
.coqtop.coqtop-hidden, dd.coqtop-hidden, dt.coqtop-hidden { /* Overqualifying for precedence */
display: none !important;
}
/* FIXME: Specific to the RTD theme */
.coqdoc > span, .coqtop dt, .coqtop dd, pre { /* pre added because of production lists */
font-family: Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace !important; /* Copied from RTD theme */
font-size: 12px !important; /* Copied from RTD theme */
line-height: 1.5 !important; /* Copied from RTD theme */
white-space: pre;
}
/*************/
/* Overrides */
/*************/
.prodn-table {
display: table;
margin: 1.5em 0px;
vertical-align: baseline;
font-weight: bold;
}
.prodn-column-group {
display: table-column-group;
}
.prodn-column {
display: table-column;
}
.prodn-row-group {
display: table-row-group;
}
.prodn-row {
display: table-row;
}
.prodn-cell-nonterminal,
.prodn-cell-op,
.prodn-cell-production,
.prodn-cell-tag
{
display: table-cell;
}
.prodn-cell-nonterminal {
padding-right: 0.49em;
}
.prodn-cell-op {
padding-right: 0.90em;
font-weight: normal;
}
.prodn-cell-production {
width: 99%;
}
.prodn-cell-tag {
text-align: right;
font-weight: normal;
font-size: 75%;
font-family: "Lato","proxima-nova","Helvetica Neue",Arial,sans-serif;
}
.prodn-table .notation > .repeat-wrapper {
margin-top: 0.28em;
}
.prodn-table .notation > .repeat-wrapper-with-sub {
margin-top: 0.28em;
margin-bottom: 0.28em;
}
.term-defn {
font-style: italic;
}
.std-term {
color: #2980B9; /* override if :visited */
}
/* We can't display nested blocks otherwise */
code, .rst-content tt, .rst-content code {
background: transparent !important;
border: none !important;
font-size: inherit !important;
}
code {
padding: 0 !important; /* This padding doesn't make sense without a border */
}
dt > .property {
margin-right: 0.25em;
}
.icon-home:visited {
color: #FFFFFF;
}
/* Pygments for Coq is confused by ‘…’ */
code span.error {
background: inherit !important;
line-height: inherit !important;
margin-bottom: 0 !important;
padding: 0 !important;
}
/* Red is too aggressive */
.rst-content tt.literal, .rst-content tt.literal, .rst-content code.literal {
color: inherit !important;
}
.coqdoc-comment {
color: #808080 !important
}
/* make the error message index readable */
.indextable code {
white-space: inherit; /* break long lines */
}
.indextable tr td + td {
padding-left: 2em; /* indent 2nd & subsequent lines */
text-indent: -2em;
}
.rst-content dl:not(.docutils) dt {
padding: 6px;
display: table;
}
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
