margin-right: 10px;
}
-div.nav {
+div.nav, div.navpath {
width: auto;
background-color: white;
border: none;
line-height: 140%;
}
+table.qindextable {
+ font-size: 90%;
+}
+
+table.qindextable td {
+ width: 33%;
+}
+
dl.parameters dd table {
width: auto;
}