+
+div#sidebar div.infobox a.menu:hover {
+ background-color: #bbb;
+ text-decoration: none;
+}
+
+div#sidebar div.infobox select {
+ width: 100%;
+ border: solid 1px #aaa;
+ background-color: #bbb;
+ margin: 2px 0px 0px 0px;
+ padding: 0px;
+}
+
+td#branch-dropdown-cell {
+ width: 99%;
+}
+
+input#switch-btn {
+ width: 20px;
+ border: solid 1px #aaa;
+ background-color: #bbb;
+ margin: 2px 0px 0px 0px;
+ padding: 0px;
+}
+
+div#sidebar div.infobox input.txt {
+ width: 100%;
+ border: solid 1px #aaa;
+ background-color: #bbb;
+ margin: 2px 0px 0px 0px;
+ padding: 0;
+}
+
+table#grid {
+ margin: 0px;
+}
+
+td#content {
+ vertical-align: top;
+ padding: 1em 2em 1em 1em;
+ border: none;
+}
+
+div#summary {
+ vertical-align: top;
+ margin-bottom: 1em;
+}
+
+table#downloads {
+ float: right;
+ border-collapse: collapse;
+ border: solid 1px #777;
+ margin-left: 0.5em;
+ margin-bottom: 0.5em;