@import "include/env"; @import "include/post"; @import "include/syntax"; @import "include/tag"; body { /* font-size:0.750em; */ color:black; font-family:sans-serif; font-size:9pt; line-height: 1.4em; line-height:1.4;/*em*/ margin: auto; max-width: 45em; //min-width: 20em; padding: 1em; //margin:2ex auto; //width:650px; > header { h1 { //font-size: 2.2em; font-size: 100%; font-weight: bold; } h2 { //font-size: 1.1em; font-size: 100%; font-weight: normal; } a, a:hover { color: black; text-decoration: none; } } > footer { text-align: center; border-top: 1px solid black; margin-top: 10px; } } h1, h2, h3, h4, h5, h6 { line-height: 1.1em; font-family: Helvetica, Arial, sans-serif; } p { margin-bottom: 1.2em; -webkit-hyphens: auto; -moz-hyphens: auto; -ms-hyphens: auto; hyphens: auto; color: #333; //margin:0 0 0 0; //padding:0 0 0 0; } ul, ol, dl { margin:0 0 0 0; padding:0 0 0 0; } li { margin-left:1em; text-align:justify; } q:after, q:before { content:""; } cite { font-style:normal; } blockquote { position: relative; font-style: italic; margin: 1ex 1em; } a { //color:#C4451D; //text-decoration:none; } a:active { //color:red !important; //text-decoration:underline; } a:empty { margin:0 0 0 0 !important; padding:0 0 0 0 !important; } @media screen { a:hover { //background-color:#F4F2E2 !important; //color:#C4451D !important; //text-decoration:underline !important; } a:visited { //color:rgb(171,105,84); } } menu { padding: 0; margin: 0; } nav { text-align: center; border-top: 1px solid black; border-bottom: 1px solid black; padding-top: 10px; padding-bottom: 10px; a { color: #000; text-decoration: none; padding: 0 2em; &:hover { color: #808080; text-decoration: none; } } } article { > header { p { } } h1 { } h2 { } } .figure .caption { font-style: italic; } .print-only { display:none; } @media print { .no-print { display:none; } span.print-only { display:inline !important; } div.print-only { display:block !important; } } @page:first { @top-center { content:normal; } @top-left { content:normal; } @top-right { content:normal; } } span.hi { background-color:yellow; } em { font-style:toggle(italic, normal); } code, pre, samp { background-color:#F4F2E2; font-family:monospace; font-size:90%; margin:0 0 0 0; /* page-break-inside:avoid; */ white-space:pre-line; overflow-x: auto; } pre { white-space:pre; } @media print { pre { white-space:pre-wrap; } } span.sc { font-variant:small-caps; } sup { font-size:80%; } sub { font-size:80%; }