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

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

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