From 8995d0857277019b54c24672439d3e19b2fcb5af Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Mon, 3 Jul 2017 16:44:21 +0200
Subject: Makefile.doc: implement serve-refman-8080 target

We make it so that, by default, the HTML reference manual looks
like the one published online (same .css) and we provide a target
to serve it locally (requires python).
---
 .../styles/html/coqremote/modules/node/node.css    |  43 ++
 .../html/coqremote/modules/system/defaults.css     |  52 ++
 .../html/coqremote/modules/system/system.css       | 543 ++++++++++++++
 .../styles/html/coqremote/modules/user/user.css    |  58 ++
 .../html/coqremote/sites/all/themes/coq/coqdoc.css | 329 +++++++++
 .../html/coqremote/sites/all/themes/coq/style.css  | 788 +++++++++++++++++++++
 6 files changed, 1813 insertions(+)
 create mode 100644 doc/common/styles/html/coqremote/modules/node/node.css
 create mode 100644 doc/common/styles/html/coqremote/modules/system/defaults.css
 create mode 100644 doc/common/styles/html/coqremote/modules/system/system.css
 create mode 100644 doc/common/styles/html/coqremote/modules/user/user.css
 create mode 100644 doc/common/styles/html/coqremote/sites/all/themes/coq/coqdoc.css
 create mode 100644 doc/common/styles/html/coqremote/sites/all/themes/coq/style.css

(limited to 'doc/common')

diff --git a/doc/common/styles/html/coqremote/modules/node/node.css b/doc/common/styles/html/coqremote/modules/node/node.css
new file mode 100644
index 000000000..60d01308e
--- /dev/null
+++ b/doc/common/styles/html/coqremote/modules/node/node.css
@@ -0,0 +1,43 @@
+
+.node-unpublished {
+  background-color: #fff4f4;
+}
+.preview .node {
+  background-color: #ffffea;
+}
+#node-admin-filter ul {
+  list-style-type: none;
+  padding: 0;
+  margin: 0;
+  width: 100%;
+}
+#node-admin-buttons {
+  float: left; /* LTR */
+  margin-left: 0.5em; /* LTR */
+  clear: right; /* LTR */
+}
+td.revision-current {
+  background: #ffc;
+}
+.node-form .form-text {
+  display: block;
+  width: 95%;
+}
+.node-form .container-inline .form-text {
+  display: inline;
+  width: auto;
+}
+.node-form .standard {
+  clear: both;
+}
+.node-form textarea {
+  display: block;
+  width: 95%;
+}
+.node-form .attachments fieldset {
+  float: none;
+  display: block;
+}
+.terms-inline {
+  display: inline;
+}
diff --git a/doc/common/styles/html/coqremote/modules/system/defaults.css b/doc/common/styles/html/coqremote/modules/system/defaults.css
new file mode 100644
index 000000000..eb983b7f8
--- /dev/null
+++ b/doc/common/styles/html/coqremote/modules/system/defaults.css
@@ -0,0 +1,52 @@
+
+/*
+** HTML elements
+*/
+fieldset {
+  margin-bottom: 1em;
+  padding: .5em;
+}
+form {
+  margin: 0;
+  padding: 0;
+}
+hr {
+  height: 1px;
+  border: 1px solid gray;
+}
+img {
+  border: 0;
+}
+table {
+  border-collapse: collapse;
+}
+th {
+  text-align: left; /* LTR */
+  padding-right: 1em; /* LTR */
+  border-bottom: 3px solid #ccc;
+}
+
+/*
+** Markup free clearing
+** Details: http://www.positioniseverything.net/easyclearing.html
+*/
+.clear-block:after {
+  content: ".";
+  display: block;
+  height: 0;
+  clear: both;
+  visibility: hidden;
+}
+
+.clear-block {
+  display: inline-block;
+}
+
+/* Hides from IE-mac \*/
+* html .clear-block {
+  height: 1%;
+}
+.clear-block {
+  display: block;
+}
+/* End hide from IE-mac */
diff --git a/doc/common/styles/html/coqremote/modules/system/system.css b/doc/common/styles/html/coqremote/modules/system/system.css
new file mode 100644
index 000000000..9371bb479
--- /dev/null
+++ b/doc/common/styles/html/coqremote/modules/system/system.css
@@ -0,0 +1,543 @@
+
+/*
+** HTML elements
+*/
+body.drag {
+  cursor: move;
+}
+th.active img {
+  display: inline;
+}
+tr.even, tr.odd {
+  background-color: #eee;
+  border-bottom: 1px solid #ccc;
+  padding: 0.1em 0.6em;
+}
+tr.drag {
+  background-color: #fffff0;
+}
+tr.drag-previous {
+  background-color: #ffd;
+}
+td.active {
+  background-color: #ddd;
+}
+td.checkbox, th.checkbox {
+  text-align: center;
+}
+tbody {
+  border-top: 1px solid #ccc;
+}
+tbody th {
+  border-bottom: 1px solid #ccc;
+}
+thead th {
+  text-align: left; /* LTR */
+  padding-right: 1em; /* LTR */
+  border-bottom: 3px solid #ccc;
+}
+
+/*
+** Other common styles
+*/
+.breadcrumb {
+  padding-bottom: .5em
+}
+div.indentation {
+  width: 20px;
+  height: 1.7em;
+  margin: -0.4em 0.2em -0.4em -0.4em; /* LTR */
+  padding: 0.42em 0 0.42em 0.6em; /* LTR */
+  float: left; /* LTR */
+}
+div.tree-child {
+  background: url(../../misc/tree.png) no-repeat 11px center; /* LTR */
+}
+div.tree-child-last {
+  background: url(../../misc/tree-bottom.png) no-repeat 11px center; /* LTR */
+}
+div.tree-child-horizontal {
+  background: url(../../misc/tree.png) no-repeat -11px center;
+}
+.error {
+  color: #e55;
+}
+div.error {
+  border: 1px solid #d77;
+}
+div.error, tr.error {
+  background: #fcc;
+  color: #200;
+  padding: 2px;
+}
+.warning {
+  color: #e09010;
+}
+div.warning {
+  border: 1px solid #f0c020;
+}
+div.warning, tr.warning {
+  background: #ffd;
+  color: #220;
+  padding: 2px;
+}
+.ok {
+  color: #008000;
+}
+div.ok {
+  border: 1px solid #00aa00;
+}
+div.ok, tr.ok {
+  background: #dfd;
+  color: #020;
+  padding: 2px;
+}
+.item-list .icon {
+  color: #555;
+  float: right; /* LTR */
+  padding-left: 0.25em; /* LTR */
+  clear: right; /* LTR */
+}
+.item-list .title {
+  font-weight: bold;
+}
+.item-list ul {
+  margin: 0 0 0.75em 0;
+  padding: 0;
+}
+.item-list ul li {
+  margin: 0 0 0.25em 1.5em; /* LTR */
+  padding: 0;
+  list-style: disc;
+}
+ol.task-list li.active {
+  font-weight: bold;
+}
+.form-item {
+  margin-top: 1em;
+  margin-bottom: 1em;
+}
+tr.odd .form-item, tr.even .form-item {
+  margin-top: 0;
+  margin-bottom: 0;
+  white-space: nowrap;
+}
+tr.merge-down, tr.merge-down td, tr.merge-down th {
+  border-bottom-width: 0 !important;
+}
+tr.merge-up, tr.merge-up td, tr.merge-up th {
+  border-top-width: 0 !important;
+}
+.form-item input.error, .form-item textarea.error, .form-item select.error {
+  border: 2px solid red;
+}
+.form-item .description {
+  font-size: 0.85em;
+}
+.form-item label {
+  display: block;
+  font-weight: bold;
+}
+.form-item label.option {
+  display: inline;
+  font-weight: normal;
+}
+.form-checkboxes, .form-radios {
+  margin: 1em 0;
+}
+.form-checkboxes .form-item, .form-radios .form-item {
+  margin-top: 0.4em;
+  margin-bottom: 0.4em;
+}
+.marker, .form-required {
+  color: #f00;
+}
+.more-link {
+  text-align: right; /* LTR */
+}
+.more-help-link {
+  font-size: 0.85em;
+  text-align: right; /* LTR */
+}
+.nowrap {
+  white-space: nowrap;
+}
+.item-list .pager {
+  clear: both;
+  text-align: center;
+}
+.item-list .pager li {
+  background-image:none;
+  display:inline;
+  list-style-type:none;
+  padding: 0.5em;
+}
+.pager-current {
+  font-weight:bold;
+}
+.tips {
+  margin-top: 0;
+  margin-bottom: 0;
+  padding-top: 0;
+  padding-bottom: 0;
+  font-size: 0.9em;
+}
+dl.multiselect dd.b, dl.multiselect dd.b .form-item, dl.multiselect dd.b select {
+  font-family: inherit;
+  font-size: inherit;
+  width: 14em;
+}
+dl.multiselect dd.a, dl.multiselect dd.a .form-item {
+  width: 10em;
+}
+dl.multiselect dt, dl.multiselect dd {
+  float: left; /* LTR */
+  line-height: 1.75em;
+  padding: 0;
+  margin: 0 1em 0 0; /* LTR */
+}
+dl.multiselect .form-item {
+  height: 1.75em;
+  margin: 0;
+}
+
+/*
+** Inline items (need to override above)
+*/
+.container-inline div, .container-inline label {
+  display: inline;
+}
+
+/*
+** Tab navigation
+*/
+ul.primary {
+  border-collapse: collapse;
+  padding: 0 0 0 1em; /* LTR */
+  white-space: nowrap;
+  list-style: none;
+  margin: 5px;
+  height: auto;
+  line-height: normal;
+  border-bottom: 1px solid #bbb;
+}
+ul.primary li {
+  display: inline;
+}
+ul.primary li a {
+  background-color: #ddd;
+  border-color: #bbb;
+  border-width: 1px;
+  border-style: solid solid none solid;
+  height: auto;
+  margin-right: 0.5em; /* LTR */
+  padding: 0 1em;
+  text-decoration: none;
+}
+ul.primary li.active a {
+  background-color: #fff;
+  border: 1px solid #bbb;
+  border-bottom: #fff 1px solid;
+}
+ul.primary li a:hover {
+  background-color: #eee;
+  border-color: #ccc;
+  border-bottom-color: #eee;
+}
+ul.secondary {
+  border-bottom: 1px solid #bbb;
+  padding: 0.5em 1em;
+  margin: 5px;
+}
+ul.secondary li {
+  display: inline;
+  padding: 0 1em;
+  border-right: 1px solid #ccc; /* LTR */
+}
+ul.secondary a {
+  padding: 0;
+  text-decoration: none;
+}
+ul.secondary a.active {
+  border-bottom: 4px solid #999;
+}
+
+/*
+** Autocomplete styles
+*/
+/* Suggestion list */
+#autocomplete {
+  position: absolute;
+  border: 1px solid;
+  overflow: hidden;
+  z-index: 100;
+}
+#autocomplete ul {
+  margin: 0;
+  padding: 0;
+  list-style: none;
+}
+#autocomplete li {
+  background: #fff;
+  color: #000;
+  white-space: pre;
+  cursor: default;
+}
+#autocomplete li.selected {
+  background: #0072b9;
+  color: #fff;
+}
+/* Animated throbber */
+html.js input.form-autocomplete {
+  background-image: url(../../misc/throbber.gif);
+  background-repeat: no-repeat;
+  background-position: 100% 2px; /* LTR */
+}
+html.js input.throbbing {
+  background-position: 100% -18px; /* LTR */
+}
+
+/*
+** Collapsing fieldsets
+*/
+html.js fieldset.collapsed {
+  border-bottom-width: 0;
+  border-left-width: 0;
+  border-right-width: 0;
+  margin-bottom: 0;
+  height: 1em;
+}
+html.js fieldset.collapsed * {
+  display: none;
+}
+html.js fieldset.collapsed legend {
+  display: block;
+}
+html.js fieldset.collapsible legend a {
+  padding-left: 15px; /* LTR */
+  background: url(../../misc/menu-expanded.png) 5px 75% no-repeat; /* LTR */
+}
+html.js fieldset.collapsed legend a {
+  background-image: url(../../misc/menu-collapsed.png); /* LTR */
+  background-position: 5px 50%; /* LTR */
+}
+/* Note: IE-only fix due to '* html' (breaks Konqueror otherwise). */
+* html.js fieldset.collapsed legend,
+* html.js fieldset.collapsed legend *,
+* html.js fieldset.collapsed table * {
+  display: inline;
+}
+/* For Safari 2 to prevent collapsible fieldsets containing tables from dissapearing due to tableheader.js. */
+html.js fieldset.collapsible {
+  position: relative;
+}
+html.js fieldset.collapsible legend a {
+  display: block;
+}
+/* Avoid jumping around due to margins collapsing into collapsible fieldset border */
+html.js fieldset.collapsible .fieldset-wrapper {
+  overflow: auto;
+}
+
+/*
+** Resizable text areas
+*/
+.resizable-textarea {
+  width: 95%;
+}
+.resizable-textarea .grippie {
+  height: 9px;
+  overflow: hidden;
+  background: #eee url(../../misc/grippie.png) no-repeat center 2px;
+  border: 1px solid #ddd;
+  border-top-width: 0;
+  cursor: s-resize;
+}
+html.js .resizable-textarea textarea {
+  margin-bottom: 0;
+  width: 100%;
+  display: block;
+}
+
+/*
+** Table drag and drop.
+*/
+.draggable a.tabledrag-handle {
+  cursor: move;
+  float: left; /* LTR */
+  height: 1.7em;
+  margin: -0.4em 0 -0.4em -0.5em; /* LTR */
+  padding: 0.42em 1.5em 0.42em 0.5em; /* LTR */
+  text-decoration: none;
+}
+a.tabledrag-handle:hover {
+  text-decoration: none;
+}
+a.tabledrag-handle .handle {
+  margin-top: 4px;
+  height: 13px;
+  width: 13px;
+  background: url(../../misc/draggable.png) no-repeat 0 0;
+}
+a.tabledrag-handle-hover .handle {
+  background-position: 0 -20px;
+}
+
+/*
+** Teaser splitter
+*/
+.joined + .grippie {
+  height: 5px;
+  background-position: center 1px;
+  margin-bottom: -2px;
+}
+/* Keeps inner content contained in Opera 9. */
+.teaser-checkbox {
+  padding-top: 1px;
+}
+div.teaser-button-wrapper {
+  float: right; /* LTR */
+  padding-right: 5%; /* LTR */
+  margin: 0;
+}
+.teaser-checkbox div.form-item {
+  float: right; /* LTR */
+  margin: 0 5% 0 0; /* LTR */
+  padding: 0;
+}
+textarea.teaser {
+  display: none;
+}
+html.js .no-js {
+  display: none;
+}
+
+/*
+** Progressbar styles
+*/
+.progress {
+  font-weight: bold;
+}
+.progress .bar {
+  background: #fff url(../../misc/progress.gif);
+  border: 1px solid #00375a;
+  height: 1.5em;
+  margin: 0 0.2em;
+}
+.progress .filled {
+  background: #0072b9;
+  height: 1em;
+  border-bottom: 0.5em solid #004a73;
+  width: 0%;
+}
+.progress .percentage {
+  float: right; /* LTR */
+}
+.progress-disabled {
+  float: left; /* LTR */
+}
+.ahah-progress {
+  float: left; /* LTR */
+}
+.ahah-progress .throbber {
+  width: 15px;
+  height: 15px;
+  margin: 2px;
+  background: transparent url(../../misc/throbber.gif) no-repeat 0px -18px;
+  float: left; /* LTR */
+}
+tr .ahah-progress .throbber {
+  margin: 0 2px;
+}
+.ahah-progress-bar {
+  width: 16em;
+}
+
+/*
+** Formatting for welcome page
+*/
+#first-time strong {
+  display: block;
+  padding: 1.5em 0 .5em;
+}
+
+/*
+** To be used with tableselect.js
+*/
+tr.selected td {
+  background: #ffc;
+}
+
+/*
+** Floating header for tableheader.js
+*/
+table.sticky-header {
+  margin-top: 0;
+  background: #fff;
+}
+
+/*
+** Installation clean URLs
+*/
+#clean-url.install {
+  display: none;
+}
+
+/*
+** For anything you want to hide on page load when JS is enabled, so
+** that you can use the JS to control visibility and avoid flicker.
+*/
+html.js .js-hide {
+  display: none;
+}
+
+/*
+** Styles for the system modules page (admin/build/modules)
+*/
+#system-modules div.incompatible {
+  font-weight: bold;
+}
+
+/*
+** Styles for the system themes page (admin/build/themes)
+*/
+#system-themes-form div.incompatible {
+  font-weight: bold;
+}
+
+/*
+** Password strength indicator
+*/
+span.password-strength {
+  visibility: hidden;
+}
+input.password-field {
+  margin-right: 10px; /* LTR */
+}
+div.password-description {
+  padding: 0 2px;
+  margin: 4px 0 0 0;
+  font-size: 0.85em;
+  max-width: 500px;
+}
+div.password-description ul {
+  margin-bottom: 0;
+}
+.password-parent {
+  margin: 0 0 0 0;
+}
+/*
+** Password confirmation checker
+*/
+input.password-confirm {
+  margin-right: 10px; /* LTR */
+}
+.confirm-parent {
+  margin: 5px 0 0 0;
+}
+span.password-confirm {
+  visibility: hidden;
+}
+span.password-confirm span {
+  font-weight: normal;
+}
diff --git a/doc/common/styles/html/coqremote/modules/user/user.css b/doc/common/styles/html/coqremote/modules/user/user.css
new file mode 100644
index 000000000..7b2163e3d
--- /dev/null
+++ b/doc/common/styles/html/coqremote/modules/user/user.css
@@ -0,0 +1,58 @@
+
+#permissions td.module {
+  font-weight: bold;
+}
+#permissions td.permission {
+  padding-left: 1.5em; /* LTR */
+}
+#access-rules .access-type, #access-rules .rule-type {
+  margin-right: 1em; /* LTR */
+  float: left; /* LTR */
+}
+#access-rules .access-type .form-item, #access-rules .rule-type .form-item {
+  margin-top: 0;
+}
+#access-rules .mask {
+  clear: both;
+}
+#user-login-form {
+  text-align: center;
+}
+#user-admin-filter ul {
+  list-style-type: none;
+  padding: 0;
+  margin: 0;
+  width: 100%;
+}
+#user-admin-buttons {
+  float: left; /* LTR */
+  margin-left: 0.5em; /* LTR */
+  clear: right; /* LTR */
+}
+#user-admin-settings fieldset .description {
+  font-size: 0.85em;
+  padding-bottom: .5em;
+}
+
+/* Generated by user.module but used by profile.module: */
+.profile {
+  clear: both;
+  margin: 1em 0;
+}
+.profile .picture {
+  float: right; /* LTR */
+  margin: 0 1em 1em 0; /* LTR */
+}
+.profile h3 {
+  border-bottom: 1px solid #ccc;
+}
+.profile dl {
+  margin: 0 0 1.5em 0;
+}
+.profile dt {
+  margin: 0 0 0.2em 0;
+  font-weight: bold;
+}
+.profile dd {
+  margin: 0 0 1em 0;
+}
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..5df2ae2eb
--- /dev/null
+++ b/doc/common/styles/html/coqremote/sites/all/themes/coq/style.css
@@ -0,0 +1,788 @@
+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;
+}
+
+/*----------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;
+}
-- 
cgit v1.2.3