diff options
-rw-r--r-- | common.css | 2 | ||||
-rw-r--r-- | intro.css | 6 |
2 files changed, 2 insertions, 6 deletions
@@ -27,6 +27,8 @@ body {min-width: 17em;} padding: 0 .4em 0 .4em; /* Space between text and browser frame. */ } +p, li, dd {text-align: justify;} + code, pre { font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; @@ -6,7 +6,6 @@ html { color: #333; - text-align: justify; } #content @@ -49,11 +48,6 @@ pre padding: .8em .4em .8em .4em; margin: 1.5em -.4em 1.5em -.4em; /* Use margins of #content. */ - -/* - padding: .8em 0 .8em .8em; - margin: .2em 0 .2em 0; - */ } dl { |