body {
  font-family: Georgia, serif;
  line-height: 18pt;
  font-size: 12pt;
  background: #eee;
  letter-spacing: 0.2px;
  word-spacing: 1px;
}

#controls {
  position: fixed;
  left: 830px;
  top: 5px;
  width: 286px;
  background: #90C0FF;
  padding: 2px 12px 5px 12px;
  margin-top: 3px;
  font-size: 8pt;
  -moz-border-radius: 4px;
  -webkit-border-radius: 4px;
}

#controls input[type=text] {
  width: 220px;
  height: 10pt;
  background: #eaeaea;
  font-size: 8pt;
}

#controls input[type=submit] {
  float: right;
  margin-right: 5px;
}


#controls span a {
  margin-left: 20px;
  font-size: 7pt;
}


h1, h2, h3, h4, h5, h6 {
  line-height: normal;
}
h1 { font-size: 16pt; }
h2 { font-size: 14pt; }
h3 { font-size: 13pt; }
h4,h5,h6 { font-size: 12pt; }


/* Hover-over link anchors - "purple numbers" */
p:hover a.hash {
  visibility: visible;
}

a.hash {
  text-decoration: none;
  color: #bbb;
  visibility: hidden;
}


div.content {
    padding-top: 5px;
    padding-bottom: 5px;
}

sup a.cross-ref {
  font-size: 8pt;
}

a.cross-ref {
  text-decoration: none;
}

a.cross-ref + a.cross-ref:before {
 content: ',';
}

table caption {
  font-weight: bold;
}

table { 
  border-collapse: collapse; 
  border-bottom: solid 1px black;
}
thead td {
  border-bottom: solid 1px black; 
  border-top: solid 1px black; 
}
td { 
  border-right: solid 1px #aaa;
  border-left: solid 1px #aaa;
  padding: 2px;
}

.pAndComments {
  display: table;
  margin-left: 5px;
  margin-right: 5px;
}


.pAndComments>h1 , .pAndComments>h2 , .pAndComments>h3 , .pAndComments>h4 ,
    .pAndComments>div.figure , .pAndComments>div.table , 
    .pAndComments>ol.references {
   min-width: 800px;
   width: 800px;
   background: #fff;
   padding-top: 20px;
   padding-bottom: 10px;
   padding-left: 5px;
   padding-right: 5px;
   display: table-cell;
}

#generated-toc {
   min-width: 800px;
   width: 800px;
   background: #fff;
   padding-left: 5px;
   padding-right: 5px;
   margin-left: 5px;
   display: table;
}

.pAndComments>ol.references li {
   margin-left: 35px;
   padding-top: 5px;
}

.caption { font-weight: bold; }

.pAndComments>div.p , .pAndComments>p {
   min-width: 800px;
   width: 800px;
   background: #fff;
   padding-left: 5px;
   padding-right: 5px;
   display: table-cell;
   padding-bottom: 3px;
}

.comment {
 left: 840px;
 width: 300px;
 font-family: Helvetica, Arial, sans-serif;
 padding-left: 10px;
 display: table-cell;
}

.comment p {
 background: #f3a;   
 padding: 2px 12px 2px 12px;
 -moz-border-radius: 12px;
 -webkit-border-radius: 12px;
 margin-top: 3px;
 font-size: 10pt;
}

.comment p.authorPriority {  background: #6f3; border: solid 2px black; }
.comment p.authorAnonymous {  background: #ddd; }

.comment p.author1 {  background: #aaf; }
.comment p.author2 {  background: #aff; }
.comment p.author3 {  background: #faf; }
.comment p.author4 {  background: #ffa; }
.comment p.author5 {  background: #faa; } 
.comment p.author6 {  background: #9f9; }
.comment p.author7 {  background: #a9f; }
.comment p.author8 {  background: #3a9; }
.comment p.author9 {  background: #fa6; }
.comment p.author10 {  background: #93f; }
.comment p.author11 {  background: #ee1; }

.comment span {
  font-size: 8pt;
  cursor: pointer;
  color: #00f;
  margin-left: 12px;
}

.comment textarea {
    display: block;
    padding: 2px;
    width: 280px;
    height: 70px;
}

.comment .submitComment , .comment .submitAssertion {
  clear: both;
  display: block;
}

/*
.pAndComments .references {
   padding-left: 40px;
}

.references {
   text-indent: -20px;
}*/