body * { margin: 0; }
body { margin: 0; padding: 0; background: #fff; color: #555; font-family: Georgia,"Times New Roman",serif; font-size: 100%; }
p { margin: 0 0 0.9em 0; padding: 0 0 0 0.3em; line-height: 1.45em; }
ul { margin-bottom: 0.9em; line-height: 1.45em; }
img { border: 0; }
a { color: #a60101; text-decoration: none; }
a:hover { color: #fff; background: #a60101; text-decoration: none; }

#h { width: 100%; position: fixed; z-index: 994; left: 0; top: 0; height: 51px; padding: 13px 25px; border-bottom: 1px dotted #aaa; background: #fff; }
#b { margin-top: 101px; padding: 0 20px 30px 20px; width: 600px; }
#f { padding: 0 25px; font-size: 0.8em; }
#s { position: fixed; z-index: 999; right: 0; top: 0; padding: 45px 20px 0 0; }
#h p { position: fixed; z-index: 999; left: 144px; top: 45px; padding: 0; font-style: italic; }
#h p a { padding: 0 4em; border-right: 1px dotted #999; color: #999; }
#h p a:hover { color: #a60101; background: #fff;; }
#h p a.l { border: 0; }
#papers { position: absolute; top: 135px; left: 642px; width: 250px; }

h1 { padding: 4px 0 0 4px; margin: 1.6em 0 0.6em 0; font-size: 1.6em; font-weight: normal; }
#h h1 { padding: 0; margin: 0; }
h2 { padding: 4px 0 0 0; margin: 1.6em 0 0.6em 0; font-size: 1.0em; text-transform: uppercase; border-top: 1px dotted #888; }
h2 { padding: 4px 0 0 0; margin: 1.6em 0 0.6em 0; font-size: 1.0em; text-transform: uppercase; color: #777; }
.date { color: #aaa; font-style: italic; }
.meta { font-size: 0.9em; border-top: 1px dotted #888; background: #f4f4f4; padding: 1em; margin-top: 3em; }
.meta .rfloat { float: right; margin: 0 0 1em 1em; border: 1px solid #888; }
.postlist a { display: block; }
.postlist li { padding-bottom: 0.5em; }
.postlist li span { font-size: 0.85em; }

.proof { width: 510px; color: #444; margin: 0 0 1em 30px; border-left: 1px solid #888; }
.proof .line { clear: both; padding: 4px 2px; border-bottom: 1px dotted #ddd; height: 1.3em; }	
.proof .conclusion { background: #fffed3; }	
.proof .ln { float: left; position: relative; left: -30px; width: 9px; }	
.proof .data { float: left; display: inline; }	
.proof .underscore { border-bottom: 1px solid #888; position: relative; left: -11px; padding: 0 10px; }	
.proof .rtp { border: 1px solid #888; padding: 1px 3px; margin: 0 0 0 10px; background: #f4f4f4; }	
.proof .just { float: right; padding: 0 5px 0 0; }

.subproof { margin: 0 0 0 15px; border-left: 1px solid #888; }	
.subproof .ln { left: -45px; }	
.subproof .subproof .ln { left: -60px; }	
.subproof .subproof .subproof .ln { left: -75px; }	
.subproof .subproof .subproof .subproof .ln { left: -90px; }	
.subproof .subproof .subproof .subproof .subproof .ln { left: -105px; }	
.subproof .subproof .subproof .subproof .subproof .subproof .ln { left: -120px; }

table.truth {  border: 1px dotted #ccc; margin: 1em auto 1.5em auto; padding: 0; width: 95%; border-collapse: collapse; }
table.truth td { padding: 3px 6px; text-align: center; border: 1px dotted #ccc; border-collapse: collapse; }
table.truth th { border: 1px dotted #ccc; border-bottom: 1px solid #444; padding: 3px 6px; text-align: center; border-collapse: collapse; }