diff options
Diffstat (limited to 'common.css')
-rw-r--r-- | common.css | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/common.css b/common.css new file mode 100644 index 0000000..0cb1e32 --- /dev/null +++ b/common.css @@ -0,0 +1,39 @@ +/* file : common.css + * copyright : Copyright (c) 2014-2016 Code Synthesis Ltd + * license : MIT; see accompanying LICENSE file + */ + +html +{ + font-family: "Helvetica Neue", Helvetica, "Segoe UI", Arial, freesans, sans-serif; + font-weight: normal; + font-size: 18px; + line-height: 1.4em; +} + +body {margin: 0;} /* There is non-0 default margin for body. */ + +/* See notes on what's going on here. */ +body {min-width: 17em;} +@media only screen and (min-width: 360px) +{ + body {min-width: 19em;} +} + +#content +{ + max-width: 40em; + margin: 0 auto 0 auto; + padding: 0 .4em 0 .4em; /* Space between text and browser frame. */ +} + +code, pre +{ + font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; + font-size: 0.92em; +} + +pre +{ + white-space: pre-wrap; +} |