summaryrefslogtreecommitdiff
path: root/intro.css
diff options
context:
space:
mode:
Diffstat (limited to 'intro.css')
-rw-r--r--intro.css77
1 files changed, 19 insertions, 58 deletions
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;
}