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