mobile/android/themes/core/aboutMemory.css

Wed, 31 Dec 2014 06:09:35 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 06:09:35 +0100
changeset 0
6474c204b198
permissions
-rw-r--r--

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

michael@0 1 /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0 2 * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0 3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0 4
michael@0 5 /*
michael@0 6 * The version used for desktop is located at
michael@0 7 * toolkit/components/aboutmemory/content/aboutMemory.css.
michael@0 8 * Mobile-specific stuff is at the bottom of this file.
michael@0 9 */
michael@0 10
michael@0 11 html {
michael@0 12 background: -moz-Dialog;
michael@0 13 font: message-box;
michael@0 14 }
michael@0 15
michael@0 16 body {
michael@0 17 padding: 0 2em;
michael@0 18 margin: 0;
michael@0 19 min-width: 45em;
michael@0 20 margin: auto;
michael@0 21 }
michael@0 22
michael@0 23 div.ancillary {
michael@0 24 margin: 0.5em 0;
michael@0 25 -moz-user-select: none;
michael@0 26 }
michael@0 27
michael@0 28 div.section {
michael@0 29 padding: 2em;
michael@0 30 margin: 1em 0em;
michael@0 31 border: 1px solid ThreeDShadow;
michael@0 32 border-radius: 10px;
michael@0 33 background: -moz-Field;
michael@0 34 }
michael@0 35
michael@0 36 div.opsRow {
michael@0 37 padding: 0.5em;
michael@0 38 margin-right: 0.5em;
michael@0 39 margin-top: 0.5em;
michael@0 40 border: 1px solid ThreeDShadow;
michael@0 41 border-radius: 10px;
michael@0 42 background: -moz-Field;
michael@0 43 display: inline-block;
michael@0 44 }
michael@0 45
michael@0 46 div.opsRowLabel {
michael@0 47 display: block;
michael@0 48 margin-bottom: 0.2em;
michael@0 49 font-weight: bold;
michael@0 50 }
michael@0 51
michael@0 52 .opsRowLabel label {
michael@0 53 margin-left: 1em;
michael@0 54 font-weight: normal;
michael@0 55 }
michael@0 56
michael@0 57 div.non-verbose pre.entries {
michael@0 58 overflow-x: hidden;
michael@0 59 text-overflow: ellipsis;
michael@0 60 }
michael@0 61
michael@0 62 h1 {
michael@0 63 padding: 0;
michael@0 64 margin: 0;
michael@0 65 }
michael@0 66
michael@0 67 h2 {
michael@0 68 background: #ddd;
michael@0 69 padding-left: .1em;
michael@0 70 }
michael@0 71
michael@0 72 .accuracyWarning {
michael@0 73 color: #d22;
michael@0 74 }
michael@0 75
michael@0 76 .badInputWarning {
michael@0 77 color: #f00;
michael@0 78 }
michael@0 79
michael@0 80 .treeline {
michael@0 81 color: #888;
michael@0 82 }
michael@0 83
michael@0 84 .mrValue {
michael@0 85 font-weight: bold;
michael@0 86 color: #400;
michael@0 87 }
michael@0 88
michael@0 89 .mrPerc {
michael@0 90 }
michael@0 91
michael@0 92 .mrSep {
michael@0 93 }
michael@0 94
michael@0 95 .mrName {
michael@0 96 color: #004;
michael@0 97 }
michael@0 98
michael@0 99 .mrNote {
michael@0 100 color: #604;
michael@0 101 }
michael@0 102
michael@0 103 .hasKids {
michael@0 104 cursor: pointer;
michael@0 105 }
michael@0 106
michael@0 107 .hasKids:hover {
michael@0 108 text-decoration: underline;
michael@0 109 }
michael@0 110
michael@0 111 .noselect {
michael@0 112 -moz-user-select: none; /* no need to include this when cutting+pasting */
michael@0 113 }
michael@0 114
michael@0 115 .option {
michael@0 116 font-size: 80%;
michael@0 117 -moz-user-select: none; /* no need to include this when cutting+pasting */
michael@0 118 }
michael@0 119
michael@0 120 .legend {
michael@0 121 font-size: 80%;
michael@0 122 -moz-user-select: none; /* no need to include this when cutting+pasting */
michael@0 123 }
michael@0 124
michael@0 125 .debug {
michael@0 126 font-size: 80%;
michael@0 127 }
michael@0 128
michael@0 129 .hidden {
michael@0 130 display: none;
michael@0 131 }
michael@0 132
michael@0 133 .invalid {
michael@0 134 color: #fff;
michael@0 135 background-color: #f00;
michael@0 136 }
michael@0 137
michael@0 138 /* Mobile-specific parts go here. */
michael@0 139
michael@0 140 /* buttons are different sizes and overlapping without this */
michael@0 141 button {
michael@0 142 margin: 1%;
michael@0 143 padding: 2%;
michael@0 144 }
michael@0 145
michael@0 146 .hiddenOnMobile {
michael@0 147 display: none;
michael@0 148 }
michael@0 149

mercurial