#toc ul.linkList { 
  /* 160% * 62.5% = 100% */
  font-size : 62.5%;
   margin: 0;
}

body {
  position: relative;
}

ul {
  margin : 1em 2.0em 1.5em 2.5em;
}
ul.linkList li {
  line-height: 120%;
  padding-top: 5px; 
  padding-bottom: 5px; 
}

#toc{
    background: transparent;
    border: 0;
}

ul.linkList li {
  display: inline;
  margin: .4em;
  color: #334;
  white-space: nowrap;
}

ul.linkList li a code {
  color: inherit;
  padding: 0;
  font-size: 105%;
  font-weight: normal;
}

#toc {
  position: absolute;
  top: 2em;
  *top: 3em;
  font-size : 160%;
  padding: 0;
  width: 97.5%;
}

#toc h4 {
  font-size : 62.5%;
  margin-bottom: 0;
  display: none;
 }

h1 {
  /* space for toc */
  margin-bottom: 3em;
}

ul.linkList {
  margin-left:  0;
  margin-top: 0;
  font-weight: 800;
}

.next, .prev {
  font-style: italic;
  color: #334;
  margin-right: .1em;
  font-weight: 400;
}

div {
  padding: 0;
  margin: 0;
}

button.evaluator {
  margin-right: .4em;
}

ins {
  background: #ffc;
  border-bottom: 1px dotted #ec9;
  margin: 1px;
  text-decoration: none;
  padding: 1px;
}

ins[title]:before, del[title]:before {
  content: attr(title);
  display: block;
  background: #666;
  color: #fff;
  padding: 2px;
  font-style: italic;
}

body > ins, body > del {
  display: block;
}
del {
  background: #fdc;
  color: #333;
}