summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--art-epilogue.xhtml7
-rw-r--r--art-prologue.xhtml17
-rw-r--r--doc.css8
3 files changed, 32 insertions, 0 deletions
diff --git a/art-epilogue.xhtml b/art-epilogue.xhtml
new file mode 100644
index 0000000..831421d
--- /dev/null
+++ b/art-epilogue.xhtml
@@ -0,0 +1,7 @@
+</div>
+
+<div id="footer">&#169; 2014-2016 <a href="http://codesynthesis.com">Code
+Synthesis Ltd</a></div>
+
+</body>
+</html>
diff --git a/art-prologue.xhtml b/art-prologue.xhtml
new file mode 100644
index 0000000..099b738
--- /dev/null
+++ b/art-prologue.xhtml
@@ -0,0 +1,17 @@
+<!DOCTYPE html>
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+ <meta charset="UTF-8"/>
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
+ <title>$title$</title>
+
+ <style type="text/css">
+$./common.css$
+$./pre-box.css$
+$./code-box.css$
+$./doc.css$
+ </style>
+
+</head>
+<body>
+<div id="content">
diff --git a/doc.css b/doc.css
index fffb9fd..d0a8e65 100644
--- a/doc.css
+++ b/doc.css
@@ -25,6 +25,14 @@ h1
margin: 1.6em 0 .6em -1.4em;
}
+h2
+{
+ font-weight: normal;
+ font-size: 1.556em;
+ line-height: 1.4em;
+ margin: 1.6em 0 .6em -.8em;
+}
+
/* Title page */
#titlepage {