user guide: generate html with css

2021-02-08 18:53:10 +01:00
parent edd71815eb
commit 042876a287
3 changed files with 23 additions and 2 deletions
--- a/garlic/doc/s.css
+++ b/garlic/doc/s.css
@@ -0,0 +1,19 @@
+html {
+	line-height: 1.6;
+	margin-bottom: 50px;
+	padding-bottom: 80px;
+}
+
+body {
+	max-width: 700px;
+	text-align: justify;
+	margin:0 auto;
+}
+
+pre {
+	overflow: auto;
+	display: block;
+	padding: 3px 3px;
+	line-height: 1.4;
+	background-color: #eeeeee;
+}