michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0:  * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0:  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0: 
michael@0: html {
michael@0:   background-color: -moz-Field;
michael@0:   color: -moz-FieldText;
michael@0:   font: message-box;
michael@0: }
michael@0: 
michael@0: body {
michael@0:   width: 90%;
michael@0:   margin-left: 5%;
michael@0:   margin-right: 5%;
michael@0: }
michael@0: 
michael@0: .page-subtitle {
michael@0:   margin-bottom: 3em;
michael@0: }
michael@0: 
michael@0: .major-section {
michael@0:   margin-top: 2em;
michael@0:   margin-bottom: 1em;
michael@0:   font-size: large;
michael@0:   text-align: start;
michael@0:   font-weight: bold;
michael@0: }
michael@0: 
michael@0: table {
michael@0:   background-color: -moz-Dialog;
michael@0:   color: -moz-DialogText;
michael@0:   font: message-box;
michael@0:   text-align: start;
michael@0:   width: 100%;
michael@0:   border: 1px solid ThreeDShadow;
michael@0:   border-spacing: 0px;
michael@0: }
michael@0: 
michael@0: th, td {
michael@0:   border: 1px dotted ThreeDShadow;
michael@0:   padding: 3px;
michael@0: }
michael@0: 
michael@0: thead th {
michael@0:   text-align: center;
michael@0: }
michael@0: 
michael@0: th {
michael@0:   text-align: start;
michael@0:   background-color: Highlight;
michael@0:   color: HighlightText;
michael@0: }
michael@0: 
michael@0: th.column {
michael@0:   white-space: nowrap;
michael@0:   width: 0px;
michael@0: }
michael@0: 
michael@0: td {
michael@0:   text-align: start;
michael@0:   border-top: 1px dotted ThreeDShadow;
michael@0: }
michael@0: 
michael@0: .prefs-table {
michael@0:   width: 100%;
michael@0:   table-layout: fixed;
michael@0: }
michael@0: 
michael@0: .pref-name {
michael@0:   width: 70%;
michael@0:   white-space: nowrap;
michael@0:   overflow: hidden;
michael@0: }
michael@0: 
michael@0: .pref-value {
michael@0:   width: 30%;
michael@0:   white-space: nowrap;
michael@0:   overflow: hidden;
michael@0: }
michael@0: 
michael@0: #reset-box {
michael@0:   background-color: -moz-Dialog;
michael@0:   border: 1px solid ThreeDShadow;
michael@0:   color: -moz-DialogText;
michael@0:   float: right;
michael@0:   margin-top: 2em;
michael@0:   margin-bottom: 20px;
michael@0:   -moz-margin-start: 20px;
michael@0:   -moz-margin-end: 0;
michael@0:   padding: 16px;
michael@0:   width: 30%;
michael@0:   visibility: hidden;
michael@0: }
michael@0: 
michael@0: #reset-box:-moz-dir(rtl) {
michael@0:   float: left;
michael@0: }
michael@0: 
michael@0: #reset-box > h3 {
michael@0:   margin-top: 0;
michael@0: }
michael@0: 
michael@0: #reset-box > button {
michael@0:   display: block;
michael@0:   margin: auto;
michael@0: }
michael@0: 
michael@0: .block {
michael@0:   display: block;
michael@0: }
michael@0: 
michael@0: .hidden {
michael@0:   display: none;
michael@0: }