-
-
-
-
-
-
-/*
-.devtools-toolbar {
-}
-
-.profile-name {
- font-size: 13px;
- padding: 8px;
-}
-
-#profiles-list > li {
- width: 180px;
- cursor: pointer;
-}
-
-.splitview-nav-container button {
- color: #FF9F00;
- background-clip: padding-box;
- border-bottom: 1px solid #A09090;
- -moz-padding-end: 8px;
- -moz-box-align: center;
-}
-
-*/
\ No newline at end of file