Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288/************************************************************************//* * 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: 'RocqNotations'; font-style: normal; font-weight: 800; src: local('RocqNotations'), url(./RocqNotations.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: RocqNotations, 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;}
/************************//* Rocqtop IO and Rocqdoc *//************************/
.rocqtop dd, .ansi-bg-default { background: #eeeeee !important;}
.rocqtop dd, .ansi-fg-default { color: #2e3436 !important;}
.rocqtop dt { /* Questions */ background: none !important; color: #333 !important; font-weight: normal !important; padding: 0 !important; margin: 0 !important;}
.rocqtop dd { /* Responses */ padding: 0.5em; margin-left: 0 !important; margin-top: 0.5em !important;}
.rocqdoc > span, .rocqtop dl { margin: 12px; /* Copied from RTD theme */}
.rocqdoc > span { display: block;}
.rocqtop dt, .rocqtop dd { border: none !important; display: block !important;}
.rocqtop.rocqtop-hidden, dd.rocqtop-hidden, dt.rocqtop-hidden { /* Overqualifying for precedence */ display: none !important;}
/* FIXME: Specific to the RTD theme */.rocqdoc > span, .rocqtop dt, .rocqtop 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 Rocq 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;}
.rocqdoc-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;}