diff options
| -rw-r--r-- | local.css | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -11,7 +11,7 @@ table td{padding:8px;} blockquote{border-left:4px solid;font-size:120%;font-style:italic;margin-left:0;padding-left:10px;} blockquote, blockquote p{text-align:left!important;} pre,code{font-size:12pt;} -.pageheader,#pagebody,.sidebar,#footer{margin:0 auto;max-width:900px;} +.pageheader,#pagebody,.sidebar,#footer{margin:0 auto;max-width:800px;} #pagebody h2, #pagebody h3{margin-top:2em;} .pageheader,#pageinfo{padding:1em 0 0;} .pageheader{background:none;border:0;} @@ -19,7 +19,7 @@ pre,code{font-size:12pt;} .pageheader .actions ul li a{display:none;} .pageheader .actions ul li a[href="./#comments"]{display:inline;} .pageheader .actions, #searchform{right:1em;} -#content{font-family:"Palatino","Georgia",serif;font-size:15pt;margin:1em 0;} +#content{font-family:"Palatino","Georgia",serif;font-size:14pt;margin:1em 0;} #content p{line-height:1.33;text-align:justify;} .sidebar{background:none;border:0;border-bottom:1px solid #999;color:black!important;float:none;padding:0;width:100%;} .sidebar p{font-size:1rem;margin-top:0;} |