diff doc/html/css/doc-guide.css @ 607:bb9771fb5f44

Docs: rework documentation - Change directories, - Remove handwritten manual pages.
author David Demelier <markand@malikania.fr>
date Fri, 08 Dec 2017 20:11:22 +0100
parents doc/html/resources/css/doc-guide.css@b61a7d5a9101
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/html/css/doc-guide.css	Fri Dec 08 20:11:22 2017 +0100
@@ -0,0 +1,13 @@
+#introduction {
+    margin-top: 0px;
+}
+
+pre {
+    margin-top: 20px;
+    margin-bottom: 20px;
+}
+
+.alert {
+    margin-top: 20px;
+    margin-bottom: 20px;
+}