div #toc {
width: 19em;
font-family: sans;
+ border-right: 3px solid gainsboro;
}
-.book {
+.book, .article {
margin-left: 22em
}
div #toc a:link, div #toc a:visited {
div #toc {
width: 22em
}
-.book {
+.book, .article {
margin-left: 25em
}
div .toclevel1 {