-
-#header h1, #header h1 a {
- margin: 0;
- padding: 0;
- font: 9px Helvetica, Verdana, sans-serif;
- font-weight: bold;
- float: left;
- padding: 3px 3px 2px 3px;
- color: #222;
- #line-height: 20px;
-}
-
-#header h1 a {
- text-decoration: none;
- color: #222;
-}
-
-#header img {
- border: 0;
-}
-
-.tabs {
- overflow: hidden;
- margin: 0;
- padding: 0;
- height: 31px;
- border: 0px;
- padding-left: 1em;
- float: left;
-}
-
-.tabs a {
- color: black;
-}
-
-#tabs-right {
- float: right;
- padding-right: 1em;
-}
-
-.tabs li {
- margin-top: 6px;
- margin-bottom: 0px;
-
- -webkit-user-select: none;
- cursor: pointer;
- display: block;
- float: left;
-
- font-weight: bold;
- color: #222;
- margin-left: 4px;
-
- background-color: #A2A2A2;
-
- -moz-box-shadow: 1px -1px 2px rgba(127, 127, 127, 0.25);
- -webkit-box-shadow: 1px -1px 2px rgba(127, 127, 127, 0.25);
-
- border: 1px solid #999;
- border-bottom-width: 0px;
- -moz-border-radius: 4px 4px 0px 0px;
- -webkit-border-radius: 4px;
- -webkit-border-bottom-left-radius: 0px;
- -webkit-border-bottom-right-radius: 0px;
-}
-
-#tabs li {
- height: 18px;
- padding-left: 12px;
- padding-right: 12px;
- padding-top: 5px;
-}
-
-.tabs li.active {
- background-color: #C1C1C1;
-}
-
-
-#tabs-right li {
- height: 20px;
- padding-left: 12px;
- padding-right: 12px;
- padding-top: 3px;
-}
-
-
-
-#tools {
- float: right;
- clear: right;
- overflow: hidden;
- margin: 0;
- padding: 0;
- height: 30px;
- margin-right: 5px;
- line-height: 30px;
- font-size: 10px;
- vertical-align: middle;
-}
-
-/* Remove extra padding in Firefox */
-button::-moz-focus-inner {
- border: 0;
- padding: 0;
-}
-