#root { max-width: 1000px; }
#title, #title * { font-size: 31pt; }
#pages { margin-top: 0px; margin-bottom: 15px; }
#pages { border-bottom-right-radius: 8px; -webkit-border-bottom-right-radius: 8px; -moz-border-bottom-right-radius: 8px; }
#pages { border-radius: 8px; -webkit-border-radius: 8px; -moz-border-radius: 8px; }
#pages { width: 84%; margin-top: 4%; margin-left: 4%; }
.highlight { border-radius: 8px; -webkit-border-radius: 8px; -moz-border-radius: 8px; }