background-color: #000000;
color: #FF9F00;
/* font: 3mm "Final Frontier",tahoma,arial,helvetica,sans-serif; */
- font: 11px helvetica,arial,tahoma,sans-serif;
+ font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
padding: 3px;
}
-moz-box-orient: vertical;
}
-window:not([active="true"]) menubar > menu {
- color: #8050B0;
-}
-
.toolbar-focustarget {
-moz-user-focus: ignore !important;
}
cursor: pointer;
}
-.text-link:focus {
+.text-link:-moz-focusring {
/* Don't specify the outline-color, we should always use initial value. */
outline: 1px dotted;
}