aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/common/styles/html/coqremote/sites/all
diff options
context:
space:
mode:
Diffstat (limited to 'doc/common/styles/html/coqremote/sites/all')
-rw-r--r--doc/common/styles/html/coqremote/sites/all/themes/coq/coqdoc.css329
-rw-r--r--doc/common/styles/html/coqremote/sites/all/themes/coq/style.css801
2 files changed, 1130 insertions, 0 deletions
diff --git a/doc/common/styles/html/coqremote/sites/all/themes/coq/coqdoc.css b/doc/common/styles/html/coqremote/sites/all/themes/coq/coqdoc.css
new file mode 100644
index 000000000..d23ea8f36
--- /dev/null
+++ b/doc/common/styles/html/coqremote/sites/all/themes/coq/coqdoc.css
@@ -0,0 +1,329 @@
+body { padding: 0px 0px;
+ margin: 0px 0px;
+ background-color: white }
+
+#page { display: block;
+ padding: 0px;
+ margin: 0px;
+ padding-bottom: 10px; }
+
+#header { display: block;
+ position: relative;
+ padding: 0;
+ margin: 0;
+ vertical-align: middle;
+ border-bottom-style: solid;
+ border-width: thin }
+
+#header h1 { padding: 0;
+ margin: 0;}
+
+
+/* Contents */
+
+#main{ display: block;
+ padding: 10px;
+ font-family: sans-serif;
+ font-size: 100%;
+ line-height: 100% }
+
+#main h1 { line-height: 95% } /* allow for multi-line headers */
+
+#main a.idref:visited {color : #416DFF; text-decoration : none; }
+#main a.idref:link {color : #416DFF; text-decoration : none; }
+#main a.idref:hover {text-decoration : none; }
+#main a.idref:active {text-decoration : none; }
+
+#main a.modref:visited {color : #416DFF; text-decoration : none; }
+#main a.modref:link {color : #416DFF; text-decoration : none; }
+#main a.modref:hover {text-decoration : none; }
+#main a.modref:active {text-decoration : none; }
+
+#main .keyword { color : #cf1d1d }
+#main { color: black }
+
+.section { background-color: rgb(60%,60%,100%);
+ padding-top: 13px;
+ padding-bottom: 13px;
+ padding-left: 3px;
+ margin-top: 5px;
+ margin-bottom: 5px;
+ font-size : 175% }
+
+h2.section { background-color: rgb(80%,80%,100%);
+ padding-left: 3px;
+ padding-top: 12px;
+ padding-bottom: 10px;
+ font-size : 130% }
+
+h3.section { background-color: rgb(90%,90%,100%);
+ padding-left: 3px;
+ padding-top: 7px;
+ padding-bottom: 7px;
+ font-size : 115% }
+
+h4.section {
+/*
+ background-color: rgb(80%,80%,80%);
+ max-width: 20em;
+ padding-left: 5px;
+ padding-top: 5px;
+ padding-bottom: 5px;
+*/
+ background-color: white;
+ padding-left: 0px;
+ padding-top: 0px;
+ padding-bottom: 0px;
+ font-size : 100%;
+ font-weight : bold;
+ text-decoration : underline;
+ }
+
+#main .doc { margin: 0px;
+ font-family: sans-serif;
+ font-size: 100%;
+ line-height: 125%;
+ max-width: 40em;
+ color: black;
+ padding: 10px;
+ background-color: #90bdff}
+
+.inlinecode {
+ display: inline;
+/* font-size: 125%; */
+ color: #666666;
+ font-family: monospace }
+
+.doc .inlinecode {
+ display: inline;
+ font-size: 120%;
+ color: rgb(30%,30%,70%);
+ font-family: monospace }
+
+.doc .inlinecode .id {
+ color: rgb(30%,30%,70%);
+}
+
+.inlinecodenm {
+ display: inline;
+ color: #444444;
+}
+
+.doc .code {
+ display: inline;
+ font-size: 120%;
+ color: rgb(30%,30%,70%);
+ font-family: monospace }
+
+.comment {
+ display: inline;
+ font-family: monospace;
+ color: rgb(50%,50%,80%);
+}
+
+.code {
+ display: block;
+/* padding-left: 15px; */
+ font-size: 110%;
+ font-family: monospace;
+ }
+
+table.infrule {
+ border: 0px;
+ margin-left: 50px;
+ margin-top: 10px;
+ margin-bottom: 10px;
+}
+
+td.infrule {
+ font-family: monospace;
+ text-align: center;
+/* color: rgb(35%,35%,70%); */
+ padding: 0px;
+ line-height: 100%;
+}
+
+tr.infrulemiddle hr {
+ margin: 1px 0 1px 0;
+}
+
+.infrulenamecol {
+ color: rgb(60%,60%,60%);
+ font-size: 80%;
+ padding-left: 1em;
+ padding-bottom: 0.1em
+}
+
+/* Pied de page */
+
+#footer { font-size: 65%;
+ font-family: sans-serif; }
+
+/* Identifiers: <span class="id" title="...">) */
+
+.id { display: inline; }
+
+.id[title="constructor"] {
+ color: rgb(60%,0%,0%);
+}
+
+.id[title="var"] {
+ color: rgb(40%,0%,40%);
+}
+
+.id[title="variable"] {
+ color: rgb(40%,0%,40%);
+}
+
+.id[title="definition"] {
+ color: rgb(0%,40%,0%);
+}
+
+.id[title="abbreviation"] {
+ color: rgb(0%,40%,0%);
+}
+
+.id[title="lemma"] {
+ color: rgb(0%,40%,0%);
+}
+
+.id[title="instance"] {
+ color: rgb(0%,40%,0%);
+}
+
+.id[title="projection"] {
+ color: rgb(0%,40%,0%);
+}
+
+.id[title="method"] {
+ color: rgb(0%,40%,0%);
+}
+
+.id[title="inductive"] {
+ color: rgb(0%,0%,80%);
+}
+
+.id[title="record"] {
+ color: rgb(0%,0%,80%);
+}
+
+.id[title="class"] {
+ color: rgb(0%,0%,80%);
+}
+
+.id[title="keyword"] {
+ color : #cf1d1d;
+/* color: black; */
+}
+
+/* Deprecated rules using the 'type' attribute of <span> (not xhtml valid) */
+
+.id[type="constructor"] {
+ color: rgb(60%,0%,0%);
+}
+
+.id[type="var"] {
+ color: rgb(40%,0%,40%);
+}
+
+.id[type="variable"] {
+ color: rgb(40%,0%,40%);
+}
+
+.id[type="definition"] {
+ color: rgb(0%,40%,0%);
+}
+
+.id[type="abbreviation"] {
+ color: rgb(0%,40%,0%);
+}
+
+.id[type="lemma"] {
+ color: rgb(0%,40%,0%);
+}
+
+.id[type="instance"] {
+ color: rgb(0%,40%,0%);
+}
+
+.id[type="projection"] {
+ color: rgb(0%,40%,0%);
+}
+
+.id[type="method"] {
+ color: rgb(0%,40%,0%);
+}
+
+.id[type="inductive"] {
+ color: rgb(0%,0%,80%);
+}
+
+.id[type="record"] {
+ color: rgb(0%,0%,80%);
+}
+
+.id[type="class"] {
+ color: rgb(0%,0%,80%);
+}
+
+.id[type="keyword"] {
+ color : #cf1d1d;
+/* color: black; */
+}
+
+.inlinecode .id {
+ color: rgb(0%,0%,0%);
+}
+
+
+/* TOC */
+
+#toc h2 {
+ padding: 10px;
+ background-color: rgb(60%,60%,100%);
+}
+
+#toc li {
+ padding-bottom: 8px;
+}
+
+/* Index */
+
+#index {
+ margin: 0;
+ padding: 0;
+ width: 100%;
+}
+
+#index #frontispiece {
+ margin: 1em auto;
+ padding: 1em;
+ width: 60%;
+}
+
+.booktitle { font-size : 140% }
+.authors { font-size : 90%;
+ line-height: 115%; }
+.moreauthors { font-size : 60% }
+
+#index #entrance {
+ text-align: center;
+}
+
+#index #entrance .spacer {
+ margin: 0 30px 0 30px;
+}
+
+#index #footer {
+ position: absolute;
+ bottom: 0;
+}
+
+.paragraph {
+ height: 0.75em;
+}
+
+ul.doclist {
+ margin-top: 0em;
+ margin-bottom: 0em;
+}
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
new file mode 100644
index 000000000..32c0b3316
--- /dev/null
+++ b/doc/common/styles/html/coqremote/sites/all/themes/coq/style.css
@@ -0,0 +1,801 @@
+body
+{
+ background: white;
+ color:#444;
+ font:normal normal normal small/1.5em "Lucida Grande", Verdana, sans-serif;
+ margin:0;
+ padding:0;
+}
+
+h2
+{
+ font-size:150%;
+ font-weight:normal;
+ margin:20px 0 0;
+}
+
+h3
+{
+ font-size:130%;
+ font-weight:normal;
+}
+
+a:link,a:visited
+{
+ color:#660403;
+ font-weight:normal;
+ text-decoration:none;
+}
+
+a:hover
+{
+ color: red;
+ text-decoration:none;
+}
+
+#container
+{
+ margin: 0;
+ padding: 0;
+ }
+
+ /*----------header, logo and site name styles----------*/
+ #headertop
+ {
+ display: block;
+ /* position:absolute; */
+ min-width: 700px;
+ top: 0;
+ width: 100%;
+ height:30px;
+ z-index: 1;
+ background: transparent url('images/header_top.png') repeat-x;
+ }
+
+ #header
+ {
+ min-width: 700px;
+ width: 100%; height:70px;
+ position: relative;
+ left: 0; top: 0;
+ background: transparent url('images/header_bot.png') repeat-x;
+ }
+
+ #logo
+ {
+ float:left;
+ z-index: 2;
+ position: absolute;
+ top: -15px;
+ left: 0px;
+ }
+
+ #logo img
+ {
+ border:0;
+ float:left;
+ }
+
+ #logoWrapper
+ {
+ line-height:4em;
+ }
+
+ #siteName
+ {
+ position: relative;
+ top: 10px; left: 80px;
+ color:#fff;
+ float:left;
+ font-size:350%;
+ }
+
+ #siteName a
+ {
+ color:#fff;
+ text-decoration:none;
+ }
+
+ #siteName a:hover
+ {
+ color:#ddd;
+ text-decoration:none;
+ }
+
+ #siteSlogan
+ {
+ color:#eee;
+ float:left;
+ font-size:170%;
+ margin:50px 0 0 10px;
+ text-transform:lowercase;
+ white-space:nowrap;
+ }
+
+ /*----------nav styles -- primary links in header----------*/
+
+ #nav
+{
+ position:absolute; right:0;
+ margin: 0;
+ padding: 5px;
+ }
+
+#nav ul
+ {
+ list-style:none outside none;
+ list-style-image:none;
+ margin:0;
+ padding:0;
+ }
+
+ #nav li
+ {
+ display: inline;
+ margin: 0; padding: 4px;
+ }
+
+ #nav li a
+ {
+ border:medium none;
+ color:#ccc;
+ font-weight:normal;
+ padding-left:10px;
+ padding-right:10px;
+ text-decoration:none;
+ }
+
+ #nav li a:hover
+ {
+ background:#7B0505 none repeat;
+ border:medium none;
+ border-left:1px solid #ddd;
+ border-right:1px solid #ddd;
+ color:#fff;
+ padding: 6px 9px 5px 9px;
+ }
+
+
+/************** FOOTER *******************/
+
+
+#footer
+{
+ background:transparent url('images/footer.png') repeat-x;
+ width:100%;
+ clear:both;
+ font-size:85%;
+ text-align:center;
+ /* position:fixed; */
+ margin: 0;
+ padding: 0;
+}
+
+
+#nav-footer
+{
+ display: inline;
+ color:#444;
+ margin: 0;
+ padding: 0;
+ text-align:right;
+ }
+
+#nav-footer ul
+ {
+ list-style:none outside none;
+ list-style-image:none;
+ margin:0;
+ padding:0px; padding-right: 5px;
+ }
+
+#nav-footer li
+{
+ display:inline; padding: 4px;
+}
+
+ #nav-footer li a
+ {
+ border:medium none;
+ color:#ccc;
+ font-size: 11px;
+ font-weight:normal;
+ padding-left: 10px;
+ padding-right: 10px;
+ text-decoration:none;
+ }
+
+ #nav-footer li a:hover
+ {
+ background:#7B0505 none repeat;
+ border:medium none;
+ border-left:1px solid #ddd;
+ border-right:1px solid #ddd;
+ color:#fff;
+ margin:0;
+ padding: 3px 9px 0px 9px;
+ }
+
+
+ /*----------main content----------*/
+ #content
+ {
+ display: block;
+ position: static;
+
+/* min-width: 640px; */
+ max-width: 800px;
+
+ margin-left:40px;
+ margin-right:300px;
+ padding: 2ex 2ex;
+
+ z-index:1;
+ }
+
+.content {
+ display: block;
+ position: relative;
+
+ margin: 0;
+ padding: 0;
+}
+
+ /*----------sidebar styles----------*/
+ #sidebarWrapper
+ {
+ /* background:transparent url('images/sidebar_bottom.jpg') no-repeat scroll left bottom;*/
+ display:block;
+ position:fixed;
+ /* avant : top: 100px; right:0px*/
+ top: 15px; /* 180 */
+ right:0px;
+ left: auto;
+
+ margin-right: 0px;
+
+ /* avant
+ width: 12%;
+ min-width:80px; */
+
+ /* width: 18%; */
+ /* min-*/
+ width:270px;
+
+ z-index:0;
+ overflow:hidden;
+
+/* ajout precedent:*/
+/* min-height:320px;
+ padding:10px;
+ background-image:url('http://www.lix.polytechnique.fr/Labo/Denis.Cousineau/data/coq/rttr340bis.png');
+ background-repeat : repeat-x ;*/
+
+/* last ajout */
+ /* min-height:510px; */ /* 360 */
+ padding-left:0px;
+ padding-right:0px;
+ padding-top:105px; /* 40 */
+ padding-bottom:/*105px*/115px;
+ /* background:transparent url('http://www.lix.polytechnique.fr/Labo/Denis.Cousineau/data/coq/trig6b.png') no-repeat scroll left top; */
+ background:transparent url('images/sidebarbot.png') no-repeat scroll right bottom;
+
+ }
+
+#sidebar {
+ padding-left: 40px;
+ padding-top: 105px;
+ overflow: visible;
+ background:transparent url('images/sidebartop.png') no-repeat scroll right top;
+}
+
+#sidebar .title
+{
+ /* avant :border-bottom:1px solid #eee;*/
+ /* avant : color:#660403;*/
+ color:#2D0102;
+ font-size:120%;
+ font-weight:bold;
+ line-height:19px;
+ margin:10px 0;
+}
+
+/*----------page styles----------*/
+.pageTitle
+{
+ color:#2D0102;
+ font-size:220%;
+ margin:10px 0 20px;
+}
+
+.mission
+{
+ background-color:#efefef;
+ border:solid 1px #ccc;
+ margin:0 0 10px 0;
+ padding:10px;
+}
+
+.messages
+{
+ color:#C80000;
+ font-size:110%;
+ margin:10px 0;
+}
+
+/*----------node styles----------*/
+.nodeTitle
+{
+ background: url('images/nodeTitle.gif') no-repeat 0 100%;
+ color:#9a0000;
+ font-size: 100%;
+ margin:0;
+}
+
+.nodeTitle a
+{
+ color:#660403;
+ text-decoration:none;
+}
+
+.nodeTitle a:hover
+{
+ color:#d00000;
+ text-decoration:none;
+}
+
+.node
+{
+ margin:0 0 20px;
+}
+
+.content p
+{
+ margin:10px 0;
+}
+
+.submitted
+{
+ color:#a3a3a3;
+ font-size:70%;
+}
+
+.nodeLinks
+{
+ font-size:95%;
+ margin:0;
+ padding:0;
+}
+
+.taxonomy
+{
+ background:url('icons/tag_red.png') no-repeat 0 7px;
+ font-size:80%;
+ padding:0 0 5px 16px;
+}
+
+/*----------comment styles----------*/
+.commentTitle
+{
+ Border-bottom:1px solid #ddd;
+ color:#9a0000;
+ font-size:130%;
+ margin:20px 0 0;
+}
+
+.commentTitle a
+{
+ color:#660403;
+ text-decoration:none;
+}
+
+.commentTitle a:hover
+{
+ color:#d00000;
+ text-decoration:none;
+}
+
+.commentLinks
+{
+ background:#f7f7f7;
+ border:1px solid #e1e1e1;
+ color:#444;
+ font-size:95%;
+ margin:20px 0 30px;
+ padding:4px 0 4px 4px;
+}
+
+
+/*----------img styles----------*/
+img
+{
+ padding:3px;
+}
+
+/*----------icons for links----------*/
+.comment_comments a
+{
+ background:url('icons/comment.png') no-repeat 0 2px;
+ padding-bottom:5px;
+ padding-left:20px;
+}
+
+.node_read_more a
+{
+ background:url('icons/page_white_go.png') no-repeat;
+ padding-bottom:5px;
+ padding-left:20px;
+}
+
+.comment_add a,.comment_reply a
+{
+ background:url('icons/comment_add.png') no-repeat;
+ padding-bottom:5px;
+ padding-left:20px;
+}
+.comment_delete a
+{
+ background:url('icons/comment_delete.png') no-repeat;
+ padding-bottom:5px;
+ padding-left:20px;
+}
+
+.comment_edit a
+{
+ background:url('icons/comment_edit.png') no-repeat;
+ padding-bottom:5px;
+ padding-left:20px;
+}
+
+/*----------TinyMCE editor----------*/
+body.mceContentBody
+{
+ background:#fff;
+ color:#000;
+ font-size:12px;
+}
+
+body.mceContentBody a:link
+{
+ color:#ff0000;
+}
+
+/*----------table styles----------*/
+table
+{
+ margin:1em 0;
+ width:100%;
+}
+
+thead th
+{
+ border-bottom:2px solid #AAA;
+ color:#494949;
+ font-weight:bold;
+}
+
+td,th
+{
+ padding:.3em 0 .5em;
+}
+
+tr.even,tr.odd,tbody th
+{
+ border:solid #D5D6D7;
+ border-width:1px 0;
+}
+
+tr.even
+{
+ background:#fff;
+}
+
+td.region,td.module,td.container
+{
+ background:#D5D6D7;
+ border-bottom:1px solid #AAA;
+ border-top:1.5em solid #fff;
+ color:#455067;
+ font-weight:bold;
+}
+
+tr:first-child td.region,tr:first-child td.module,tr:first-child td.container
+{
+ border-top-width:0;
+}
+
+td.menu-disabled,td.menu-disabled a
+{
+ background-color:#D5C2C2;
+ color:#000;
+}
+
+/*----------other styles----------*/
+
+.block
+{
+ margin:5px 0 20px;
+}
+
+.thumbnail,.preview
+{
+ 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
+{
+ width:90%;
+ margin-left:auto;
+ margin-right:auto;
+}
+
+table.downloadtable td.downloadheader
+{
+padding: 2px 1em;
+font-weight: bold;
+font-size: 120%;
+color: white;
+background: transparent url('images/header_bot.png') repeat-x;
+/*background-color: #660403; */
+border: solid 2px white;
+border-left: none;
+}
+
+table.downloadtable td.downloadcategory
+{
+padding: 2px 1em;
+background-color: #dfbfbe;
+text-indent: 0;
+}
+
+table.downloadtable td.downloadsize
+{
+text-indent: 0;
+white-space: nowrap;
+height: 52px;
+}
+
+table.downloadtable td
+{
+padding: 2px 1em;
+background-color: #dfbfbe;
+border-right: solid white 2px;
+}
+
+
+table.downloadtable td.downloadtopline
+{
+border-top: solid white 2px;
+}
+
+table.downloadtable td.downloadtoprightline
+{
+border-top: solid 2px white;
+border-right: solid 2px white;
+}
+
+table.downloadtable td.downloadbottomline
+{
+border-bottom: solid 2px white;
+border-right: solid 2px white;
+}
+
+table.downloadtable td.downloadbottomrightline
+{
+border-bottom: solid 2px white;
+border-right: solid 2px white;
+}
+
+table.downloadtable td.downloadrightline
+{
+border-right: solid 2px white;
+}
+
+table.downloadtable td.downloadback
+{
+background-color: #efe4e4;
+}
+
+table.downloadtable td.downloadbottomback
+{
+border-bottom: solid 2px white;
+background-color: #efe4e4;
+}
+
+
+/*********** Normal text style ************/
+
+p {
+ text-indent:3em;
+}
+
+ul {
+ margin: 0px;
+ margin-left:4em;
+ padding: 0px;
+ list-style-type:square;
+}
+
+li
+{
+ text-indent: 0px;
+ margin: 0px;
+ padding: 0px;
+}
+
+tt { font-size: 1em; }
+
+pre { font-size: 1em; }
+
+/*********** Framework ***********/
+.framework
+{
+ display: block;
+ position:relative;
+ border:solid 1px #660033;
+ margin: 8ex 1em; /* 8ex 8ex 1em 1em; */
+ padding: 0;
+}
+
+.frameworkcontent
+{
+ position:relative;
+ left:0px;
+
+
+ margin: 0;
+ padding: .5ex 2em;
+
+ text-indent: 2em;
+ text-align: justify;
+}
+
+
+.frameworklabel
+{
+ display: inline;
+ position:relative;
+ top:-1.3ex;
+
+ margin-left:2ex;
+ padding-top:.4ex;
+ padding-bottom:.4ex;
+ padding-right:1ex;
+ padding-left:1ex;
+
+ border: none;
+ background: white;
+ color: black;
+
+ font-weight: bold;
+ font-size:115%;
+}
+
+.frameworklinks {
+ display:block;
+ position:relative;
+ top:1.4ex;
+
+ margin-right:2ex;
+
+ text-align:right;
+ font-size:100%
+ }
+
+.frameworklinks ul
+{
+ display: inline;
+ padding: 0px 1ex;
+
+ border: none;
+ background: white;
+}
+
+
+.frameworklinks li
+ {
+ display:inline;
+ padding: 1ex 0px;
+ }
+
+ .frameworklinks li a
+{
+ border:medium none;
+
+ margin: 0px 1ex;
+ padding-left:2px;
+ padding-right:3px;
+
+ font-weight:normal;
+ text-decoration:none;
+
+ color: #660003;
+}
+
+ .frameworklinks li a:hover
+ {
+ color: red;
+
+ border: none;
+ }
+
+/* General flat lists */
+.flatlist li {display: inline}
+
+/* For sections in bycat.html */
+.bycatsection dt {
+ text-indent: 3em
+}
+
+.bycatsection dt a
+{
+ font-weight: bold;
+ color:#444;
+}
+
+/* footnote is used in the new contribution form */
+.footnote {
+ text-indent: 0pt;
+ font-size: 80%;
+ color: silver;
+ text-align: justify
+}
+
+/****************** CoqIDE Screenshots *****************/
+
+
+.SCpager {
+ position:relative;
+ top:5px;
+ width:630px;
+ background: transparent url('images/header_bot.png') repeat-x;
+ padding:4px;
+}
+
+.SCpagercontent {
+ width:390px;
+ position:relative;
+ margin-left:auto;
+ margin-right:auto;
+}
+
+.SCthumb {
+ height:45px;
+ margin-left:2px;
+ margin-right:2px;
+}
+
+.SCthumbselected {
+ height:55px;
+ margin-left:2px;
+ margin-right:2px;
+}
+
+.SCcontent {
+ position:relative;
+ top:5px;
+ width:638px;
+ background-color: #dfbfbe;
+}
+
+.SCscreenshot {
+ position:relative;
+ height:400px;
+ width:auto;
+ margin:15px auto 15px 19px;
+}
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 23:22:58 +0000