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).
---
 .../html/coqremote/modules/system/defaults.css     | 52 ++++++++++++++++++++++
 1 file changed, 52 insertions(+)
 create mode 100644 doc/common/styles/html/coqremote/modules/system/defaults.css

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

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 0000000000..eb983b7f81
--- /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 */
-- 
cgit v1.2.3