From e8d8ccfbd637d68f6feceace9dddc5bd5c13d832 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Thu, 11 Feb 2016 11:48:18 +0200
Subject: Rename intro.css to doc.css

---
 doc-prologue.xhtml |  2 +-
 doc.css            | 48 ++++++++++++++++++++++++++++++++++++++++++++++++
 intro.css          | 48 ------------------------------------------------
 3 files changed, 49 insertions(+), 49 deletions(-)
 create mode 100644 doc.css
 delete mode 100644 intro.css

diff --git a/doc-prologue.xhtml b/doc-prologue.xhtml
index c9e1c3c..08f63ee 100644
--- a/doc-prologue.xhtml
+++ b/doc-prologue.xhtml
@@ -14,7 +14,7 @@ $./common.css$
 $./pre-box.css$
 $./code-box.css$
 $./toc.css$
-$./intro.css$
+$./doc.css$
   </style>
 
 </head>
diff --git a/doc.css b/doc.css
new file mode 100644
index 0000000..fffb9fd
--- /dev/null
+++ b/doc.css
@@ -0,0 +1,48 @@
+/* file      : intro.css
+ * copyright : Copyright (c) 2014-2016 Code Synthesis Ltd
+ * license   : MIT; see accompanying LICENSE file
+ */
+
+/* Bases:
+ *
+ * common.css
+ * pre-box.css
+ * code-box.css
+ *
+ */
+
+#content
+{
+  max-width: 43.6em;
+  padding-left: 3em; /* Reserve for headings. */
+}
+
+h1
+{
+  font-weight: normal;
+  font-size: 2em;
+  line-height: 1.4em;
+  margin: 1.6em 0 .6em -1.4em;
+}
+
+/* Title page */
+
+#titlepage {
+  margin: 0 0 4em 0;
+  border-bottom: 1px solid black;
+}
+
+#titlepage .title {
+  font-weight: normal;
+  font-size: 2.333em;
+  line-height: 1.4em;
+  letter-spacing: 0;
+  text-align: center;
+  margin: 2em 0 2em 0;
+}
+
+#titlepage p {
+  font-size: 0.889em;
+  line-height: 1.4em;
+  margin: 2em 0 .6em 0;
+}
diff --git a/intro.css b/intro.css
deleted file mode 100644
index fffb9fd..0000000
--- a/intro.css
+++ /dev/null
@@ -1,48 +0,0 @@
-/* file      : intro.css
- * copyright : Copyright (c) 2014-2016 Code Synthesis Ltd
- * license   : MIT; see accompanying LICENSE file
- */
-
-/* Bases:
- *
- * common.css
- * pre-box.css
- * code-box.css
- *
- */
-
-#content
-{
-  max-width: 43.6em;
-  padding-left: 3em; /* Reserve for headings. */
-}
-
-h1
-{
-  font-weight: normal;
-  font-size: 2em;
-  line-height: 1.4em;
-  margin: 1.6em 0 .6em -1.4em;
-}
-
-/* Title page */
-
-#titlepage {
-  margin: 0 0 4em 0;
-  border-bottom: 1px solid black;
-}
-
-#titlepage .title {
-  font-weight: normal;
-  font-size: 2.333em;
-  line-height: 1.4em;
-  letter-spacing: 0;
-  text-align: center;
-  margin: 2em 0 2em 0;
-}
-
-#titlepage p {
-  font-size: 0.889em;
-  line-height: 1.4em;
-  margin: 2em 0 .6em 0;
-}
-- 
cgit v1.1