tenfourfox/mobile/android/themes/core/aboutMemory.css
Cameron Kaiser c9b2922b70 hello FPR
2017-04-19 00:56:45 -07:00

150 lines
2.1 KiB
CSS

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