2012-09-13 07:47:31 -07:00
|
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
|
|
|
|
/* This file is used for both about:memory and about:compartments. */
|
|
|
|
|
2012-10-07 05:19:00 -07:00
|
|
|
html {
|
|
|
|
background: -moz-Dialog;
|
|
|
|
font: message-box;
|
|
|
|
}
|
|
|
|
|
|
|
|
body {
|
|
|
|
padding: 0 2em;
|
|
|
|
margin: 0;
|
|
|
|
min-width: 45em;
|
|
|
|
margin: auto;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.section, div.footer {
|
|
|
|
margin: 2em 0;
|
|
|
|
box-sizing: border-box;
|
|
|
|
-moz-box-sizing: border-box;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.section {
|
|
|
|
padding: 3em;
|
|
|
|
border: 1px solid ThreeDShadow;
|
|
|
|
border-radius: 10px;
|
|
|
|
background: -moz-Field;
|
2012-09-13 07:47:31 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
body.non-verbose pre.entries {
|
|
|
|
overflow-x: hidden;
|
|
|
|
text-overflow: ellipsis;
|
|
|
|
}
|
|
|
|
|
2012-10-07 05:19:00 -07:00
|
|
|
h1 {
|
|
|
|
padding: 0;
|
|
|
|
margin: 0;
|
|
|
|
}
|
|
|
|
|
2012-09-13 07:47:31 -07:00
|
|
|
h2 {
|
|
|
|
background: #ddd;
|
|
|
|
padding-left: .1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* buttons are different sizes and overlapping without this */
|
|
|
|
button {
|
|
|
|
margin: 1%;
|
|
|
|
padding: 2%;
|
|
|
|
}
|
|
|
|
|
|
|
|
.accuracyWarning {
|
|
|
|
color: #f00;
|
|
|
|
}
|
|
|
|
|
|
|
|
.badInputWarning {
|
|
|
|
color: #f00;
|
|
|
|
}
|
|
|
|
|
|
|
|
.treeline {
|
|
|
|
color: #888;
|
|
|
|
}
|
|
|
|
|
|
|
|
.mrValue {
|
|
|
|
font-weight: bold;
|
|
|
|
color: #400;
|
|
|
|
}
|
|
|
|
|
|
|
|
.mrPerc {
|
|
|
|
}
|
|
|
|
|
|
|
|
.mrSep {
|
|
|
|
}
|
|
|
|
|
|
|
|
.mrName {
|
|
|
|
color: #004;
|
|
|
|
}
|
|
|
|
|
|
|
|
.mrNote {
|
|
|
|
color: #604;
|
|
|
|
}
|
|
|
|
|
|
|
|
.hasKids {
|
|
|
|
cursor: pointer;
|
|
|
|
}
|
|
|
|
|
|
|
|
.option {
|
|
|
|
font-size: 80%;
|
|
|
|
-moz-user-select: none; /* no need to include this when cutting+pasting */
|
|
|
|
}
|
|
|
|
|
|
|
|
.legend {
|
|
|
|
font-size: 80%;
|
|
|
|
-moz-user-select: none; /* no need to include this when cutting+pasting */
|
|
|
|
}
|
|
|
|
|
|
|
|
.hiddenOnMobile {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
.debug {
|
|
|
|
font-size: 80%;
|
|
|
|
}
|
|
|
|
|
|
|
|
.hidden {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
.invalid {
|
|
|
|
color: #fff;
|
|
|
|
background-color: #f00;
|
|
|
|
}
|
|
|
|
|