Rename intro.css to doc.css

1 files changed, 0 insertions, 48 deletions

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