diff options
| -rw-r--r-- | code-box.css | 25 | ||||
| -rw-r--r-- | common.css | 10 | ||||
| -rw-r--r-- | intro.css | 77 | ||||
| -rw-r--r-- | man.css | 1 | ||||
| -rw-r--r-- | pre-box.css | 2 |
5 files changed, 52 insertions, 63 deletions
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 @@ -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. */ @@ -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; } @@ -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. */ |