.toc_header {
  padding: 0.1em;
  font-size: 130%;
  font-weight: bold;
}

ul.toc {
  list-style-type: none;
  padding-left: 0em;
}

nav {
  content: ' ';
  display: block;
  background-color: #eeeeee;
  border-style: solid;
  border-width: thin;
  border-color: #cccccc;
}

body { counter-reset: section }
h2 { counter-reset: sub-section }
h3 { counter-reset: subx2-section }
h4 { counter-reset: subx3-section }

h2:before {
  counter-increment: section;
  content: counter(section) " ";    
}

h3:before {
  counter-increment: sub-section;
  content: counter(section)"."counter(sub-section) " ";    
}

h4:before {
  counter-increment: subx2-section;
  content: counter(section)"."counter(sub-section)"."counter(subx2-section) " ";    
}