From fe9e7121d07c5a134559f02d5dc46cceb3f276c1 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Thu, 28 Jan 2016 14:15:22 +0200
Subject: Style update for intro

---
 code-box.css | 25 ++++++++++++++++++++
 common.css   | 10 +++++---
 intro.css    | 77 +++++++++++++++---------------------------------------------
 man.css      |  1 -
 pre-box.css  |  2 +-
 5 files changed, 52 insertions(+), 63 deletions(-)
 create mode 100644 code-box.css

diff --git a/code-box.css b/code-box.css
new file mode 100644
index 0000000..9c9e1fc
--- /dev/null
+++ b/code-box.css
@@ -0,0 +1,25 @@
+/* file      : code-box.css
+ * copyright : Copyright (c) 2014-2016 Code Synthesis Ltd
+ * license   : MIT; see accompanying LICENSE file
+ */
+
+code
+{
+  background-color: rgba(0, 0, 0, 0.05);
+  border-radius: 0.2em;
+  padding: .2em .32em .18em .32em;
+}
+
+/*
+code::before
+{
+  letter-spacing: -0.2em;
+  content: "\00a0";
+}
+
+code::after
+{
+  letter-spacing: -0.2em;
+  content: "\00a0";
+}
+*/
\ No newline at end of file
diff --git a/common.css b/common.css
index 4c0b697..b96f64c 100644
--- a/common.css
+++ b/common.css
@@ -10,6 +10,8 @@ html
   font-size: 18px;
   line-height: 1.4em;
   letter-spacing: 0.01em;
+
+  color: #333;
 }
 
 body {margin: 0;} /* There is non-0 default margin for body. */
@@ -118,9 +120,11 @@ code, pre
   letter-spacing: 0;
 }
 
-pre
-{
-  white-space: pre-wrap;
+pre {white-space: pre-wrap;}
+
+@media only screen and (max-width: 567px)
+{  
+  pre {word-break: break-all;}
 }
 
 /* Use page rather than system font settings. */
diff --git a/intro.css b/intro.css
index f63932e..ebc4642 100644
--- a/intro.css
+++ b/intro.css
@@ -3,10 +3,13 @@
  * license   : MIT; see accompanying LICENSE file
  */
 
-html
-{
-  color: #333;
-}
+/* Bases:
+ *
+ * common.css
+ * pre-box.css
+ * code-box.css
+ *
+ */
 
 #content
 {   
@@ -16,71 +19,29 @@ html
 h1
 {
   font-weight: normal;
-  font-size: 1.58em;
-  line-height: 1.4em;
-  
-  margin: 1.6em 0 .6em -1.89em;
+  font-size: 2em;
+  line-height: 1.4em;  
+  margin: 1.6em 0 .6em -1.4em;
 }   
 
-code
-{
-  background-color: rgba(0, 0, 0, 0.04);
-  border-radius: 0.2em;
-  padding: .2em 0 .2em 0;
-}
-
-code::before
-{
-  letter-spacing: -0.2em;
-  content: "\00a0";
-}
-
-code::after
-{
-  letter-spacing: -0.2em;
-  content: "\00a0";
-}
-
-pre
-{
-  background-color: #f7f7f7;
-  border-radius: 0.2em;
-
-  padding: .8em .4em .8em .4em;
-  margin: 1.5em -.4em 1.5em -.4em; /* Use margins of #content. */
-}
-
-dl {
-  margin: 1em 0 1em 0;
-}
-
-dl dt {
-  margin: 0 0 0 0;
-}
-
-dl dd {
-  margin: 0 0 0 1.8em;
-}
-
 /* Title page */
 
 #titlepage {
-  margin: 3em 0 1.8em 0;
-  padding-bottom: .8em;
+  margin: 0 0 4em 0;
   border-bottom: 1px solid black;
 }
 
 #titlepage .title {
-  font-weight: bold;
-  font-size: 200%;
+  font-weight: normal;
+  font-size: 2.333em;
+  line-height: 1.4em;
+  letter-spacing: 0;
   text-align: center;
-  padding: 1em 0 2em 0;
+  margin: 2em 0 2em 0;
 }
 
 #titlepage p {
-  padding-bottom: 1em;
-}
-
-#titlepage #revision {
-  padding-bottom: 0em;
+  font-size: 0.889em;
+  line-height: 1.4em;
+  margin: 2em 0 .6em 0;
 }
diff --git a/man.css b/man.css
index 6ddeeb5..50daf6c 100644
--- a/man.css
+++ b/man.css
@@ -10,7 +10,6 @@
  *
  */
 
-html {color: #333;}
 #content { padding-left: 1.5em; /* Reserve for the heading. */}
 
 h1
diff --git a/pre-box.css b/pre-box.css
index 25c2dc3..30334cc 100644
--- a/pre-box.css
+++ b/pre-box.css
@@ -5,7 +5,7 @@
 
 pre
 {
-  background-color: #f7f7f7;
+  background-color: rgba(0, 0, 0, 0.05);
   border-radius: 0.2em;
   padding: .8em .4em .8em .4em;
   margin: .2em -.4em .2em -.4em; /* Use margins of #content. */
-- 
cgit v1.1