+#placesMenu > menu {
+ padding-top: 5px;
+ padding-bottom: 5px;
+}
+
+#placesList-splitter,
+#detailsDeck-splitter {
+ border: none;
+}
/* Info box */
#detailsDeck {
padding: 2px 0;
-moz-padding-end: 3px;
}
+
+#back-button, #forward-button {
+ display: none;
+}
\ No newline at end of file