/* https://www.roangelo.net/logwitt/logwitt.css */

html,body {background:#fff; color:#000; padding:0; border:0; margin-bottom:4em;}

div.text {margin-left:auto; margin-right:auto; max-width:45em;}

a {font-weight:bold;}
a:link {color:#369; background:#fff; text-decoration:none;}
a:visited {color:#909; background:#fff; text-decoration:none;}
a:active {color:#ccc; background:#fff;}
a:hover {color:#000; background:#fff; text-decoration:underline;}

h1,h2,h3,h4,h5,h6 {font-family: "Times New Roman", serif;}
h2 {font-size:170%;}
h3 {font-size:150%;}
h4,h5,h6 {font-size:130%;}

h2.logicpreface {font-size:120%; margin-top:1.5em;}
h2.commonshape {font-size:140%;}
h2.tableofcontents {font-size:150%;}

p {line-height:150%;}
p.dialog {margin-top:0; margin-bottom:0; text-indent:1em;}
p.startdialog {margin-bottom:0;}
p.enddialog {margin-top:0; text-indent:1em;}
p.poembreak {margin-top:0; margin-bottom:0;}

abbr {cursor:help; border-bottom: 1px dashed #000; font-style:italic;}
abbr.noitalic {font-style:normal;}

strong.foreword {font-weight:bold; font-size:130%; font-family: "Times New Roman", serif;}

strong {font-weight:bold;}
em {font-style:italic;}

.italic {font-style:italic;}

.big {font-size:150%; font-family: "Times New Roman", serif;}
.bigplain {font-size:130%;}
.small {font-size:85%;}
.smallmonospace {font-size:85%; font-family:monospace;}

blockquote {margin-left:7%; margin-right:7%;}
.indent {margin-left:7%; margin-right:7%;}
.asindent {margin-left:7%; margin-right:7%; line-height:normal;}
.indentone {margin-left:1em;}
.indentonetwo {margin-left:1em; margin-right:2em;}
.indenttwo {margin-left:2em;}
.indenttwoboth {margin-left:2em; margin-right:2em;}
.intext {text-indent:1em;}
.aside {line-height:normal; margin-left:2%; margin-right:2%;}

.smallcap {font-variant:small-caps; font-size:110%;}

.nobreak {white-space:nowrap;}

.clear {clear:both; height:0;}

pre {font-family:monospace; font-size:110%;}

ol {list-style-type:decimal;}
ul {list-style-type:disc;}

hr {color:#000; background:#fff; height:1px;}

	/* Replacement made 17-Nov-2015 (20 /logwitt/ files) */
hr.hundred {width:30%; text-align:center;}  /* default aligned is center? */
hr.hundred {width:30%;}  /* removed: text-align:center; */

	/* Replacement made 17-Nov-2015 (35 /logwitt/ files) */
hr.endnotes {width:15%; text-align:left;}  /* This leaves <hr> centered */
hr.endnotes {width:15%; margin-left:0%;}  /* This puts <hr> at left margin */

img {border:solid 1px #000;}
.noborder {border:none;}

.center {text-align:center;}
.right {text-align:right;}

.zeromargin {margin-top:0; margin-bottom:0;}
.zerobelow {margin-bottom:0;}
.halfabove {margin-top:0.5em;}
.onehalfabove {margin-top:1.5em;}
.halfbelow {margin-bottom:0.5em;}
.twoabove {margin-top:2em;}
.onebelow {margin-bottom:1em;}
.onehalfbelow {margin-bottom:1.5em;}
.twobelow {margin-bottom:2em;}

.blue {background:#fff; color:#369;}
.bluelight {background:#ffc; color:#369;}
.highlight {background:#ffc; color:#000;}
.highlightpad {background:#ffc; color:#000; padding: 0 1em;}
.paragraphpad {padding: 0 1em;}
.highlightpadfour {background:#ffc; color:#000; padding: 0.5em 1em;}
.grayback {background:#eee; color:#000; padding: 1px 1em 1px 1em;}

.highlightlinks a:link {background:#ffc; color:#369; text-decoration:none;}
.highlightlinks a:visited {background:#ffc; color:#909; text-decoration:none;}
.highlightlinks a:hover {background:#ffc; color:#000; text-decoration:underline;}

div.box {padding: 0 1em; margin: 1em 4em 1em 3em; border: 1px solid #000;}

div.bigbox {padding: 0 1em; margin: 1em 5em 1em 1em; border: 1px solid #000;}

div.relatedbox {padding: 0 1.5em 0 0.5em; margin: 2em 4em 2em 0em; border: 1px solid #000;}

div.originsbox {padding: 0 1.5em; margin: 1em; border: 1px solid #000;}

.strike {text-decoration:line-through;}  /* <s> has been replaced by <del> */
.underline {text-decoration:underline;}  /* <u> is valid HTML5 */

.logo {color:#000; background:#fff; font-family: sans-serif; font-size:140%; font-weight:bold;}

.textsearch {font-weight:bold; font-size:110%;}
.strongsearch {font-weight:bold; font-size:100%;}

.border {border:solid 1px #000;}
.signature {text-align:center; margin-top:3em; margin-bottom:2em;}
.monospace-box {font-family:monospace; padding: 0 1em 0 1em; margin: 0 13em 0 1em; border: 1px solid #000;}

 table {width:60%; margin-top:0; margin-bottom:0;}
 table,th,td {border:solid 1px #ccc; border-spacing:0;}
 th,td {vertical-align:top; padding:5px; text-align:center;}

 table {width:100%;}
 table,th,td {border:none; border-spacing:5px;}
 th,td {vertical-align:top; padding:10px; line-height:150%;}
.biblio {text-align:right;}