.box { border-style: double; border-color: black; border-width: thin;  }
a.tocblu { text-decoration: none; color: blue }

a.toc {text-decoration: none; color: black}

div.leading {line-height: 1.25}