From 8995d0857277019b54c24672439d3e19b2fcb5af Mon Sep 17 00:00:00 2001
From: Enrico Tassi
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 ++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 doc/common/styles/html/coqremote/modules/node/node.css

(limited to 'doc/common/styles/html/coqremote/modules/node/node.css')

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 0000000000..60d01308e9
--- /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;
+}
-- 
cgit v1.2.3