Rename intro.css to doc.css

1 files changed, 48 insertions, 0 deletions

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;
+}