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: /*
michael@0:  * The version used for mobile is located at
michael@0:  * mobile/android/themes/core/aboutMemory.css.
michael@0:  * Desktop-specific stuff is at the bottom of this file.
michael@0:  */
michael@0: 
michael@0: html {
michael@0:   background: -moz-Dialog;
michael@0:   font: message-box;
michael@0: }
michael@0: 
michael@0: body {
michael@0:   padding: 0 2em;
michael@0:   margin: 0;
michael@0:   min-width: 45em;
michael@0:   margin: auto;
michael@0: }
michael@0: 
michael@0: div.ancillary {
michael@0:   margin: 0.5em 0;
michael@0:   -moz-user-select: none;
michael@0: }
michael@0: 
michael@0: div.section {
michael@0:   padding: 2em;
michael@0:   margin: 1em 0em;
michael@0:   border: 1px solid ThreeDShadow;
michael@0:   border-radius: 10px;
michael@0:   background: -moz-Field;
michael@0: }
michael@0: 
michael@0: div.opsRow {
michael@0:   padding: 0.5em;
michael@0:   margin-right: 0.5em;
michael@0:   margin-top: 0.5em;
michael@0:   border: 1px solid ThreeDShadow;
michael@0:   border-radius: 10px;
michael@0:   background: -moz-Field;
michael@0:   display: inline-block;
michael@0: }
michael@0: 
michael@0: div.opsRowLabel {
michael@0:   display: block;
michael@0:   margin-bottom: 0.2em;
michael@0:   font-weight: bold;
michael@0: }
michael@0: 
michael@0: .opsRowLabel label {
michael@0:   margin-left: 1em;
michael@0:   font-weight: normal;
michael@0: }
michael@0: 
michael@0: div.non-verbose pre.entries {
michael@0:   overflow-x: hidden;
michael@0:   text-overflow: ellipsis;
michael@0: }
michael@0: 
michael@0: h1 {
michael@0:   padding: 0;
michael@0:   margin: 0;
michael@0:   display: inline;  /* allow subsequent text to the right of the heading */
michael@0: }
michael@0: 
michael@0: h2 {
michael@0:   background: #ddd;
michael@0:   padding-left: .1em;
michael@0: }
michael@0: 
michael@0: h3 {
michael@0:   display: inline;  /* allow subsequent text to the right of the heading */
michael@0: }
michael@0: 
michael@0: a.upDownArrow {
michael@0:   font-size: 130%;
michael@0:   text-decoration: none;
michael@0:   -moz-user-select: none;  /* no need to include this when cutting+pasting */
michael@0: }
michael@0: 
michael@0: .accuracyWarning {
michael@0:   color: #d22;
michael@0: }
michael@0: 
michael@0: .badInputWarning {
michael@0:   color: #f00;
michael@0: }
michael@0: 
michael@0: .treeline {
michael@0:   color: #888;
michael@0: }
michael@0: 
michael@0: .mrValue {
michael@0:   font-weight: bold;
michael@0:   color: #400;
michael@0: }
michael@0: 
michael@0: .mrPerc {
michael@0: }
michael@0: 
michael@0: .mrSep {
michael@0: }
michael@0: 
michael@0: .mrName {
michael@0:   color: #004;
michael@0: }
michael@0: 
michael@0: .mrNote {
michael@0:   color: #604;
michael@0: }
michael@0: 
michael@0: .hasKids {
michael@0:   cursor: pointer;
michael@0: }
michael@0: 
michael@0: .hasKids:hover {
michael@0:   text-decoration: underline;
michael@0: }
michael@0: 
michael@0: .noselect {
michael@0:   -moz-user-select: none;  /* no need to include this when cutting+pasting */
michael@0: }
michael@0: 
michael@0: .option {
michael@0:   font-size: 80%;
michael@0:   -moz-user-select: none;  /* no need to include this when cutting+pasting */
michael@0: }
michael@0: 
michael@0: .legend {
michael@0:   font-size: 80%;
michael@0:   -moz-user-select: none;  /* no need to include this when cutting+pasting */
michael@0: }
michael@0: 
michael@0: .debug {
michael@0:   font-size: 80%;
michael@0: }
michael@0: 
michael@0: .hidden {
michael@0:   display: none;
michael@0: }
michael@0: 
michael@0: .invalid {
michael@0:   color: #fff;
michael@0:   background-color: #f00;
michael@0: }
michael@0: 
michael@0: /* Desktop-specific parts go here. */
michael@0: 
michael@0: .hasKids:hover {
michael@0:   text-decoration: underline;
michael@0: }
michael@0: