backup for book theme

/* for this theme */
a:visited {
color: #886666;
}
a.keyword:visited {
color: #444433;
}
div.main {
margin-right: 150px;
}
div.sidebar {
right: 20px;
padding: 6px 2px 2px 2px;
}
div.body {
margin: 2em 1em 0em 4em;
}
div.section {
border-bottom: 1px dashed #ddbbbb;
padding-bottom: 4px;
}
div.section dl {
margin-left: 2em;
}
div.section pre {
font-size: 90%;
line-height: 140%;
}