The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/mobile/android/themes/core/aboutMemory.css	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,149 @@
     1.4 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.5 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.6 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.7 +
     1.8 +/*
     1.9 + * The version used for desktop is located at
    1.10 + * toolkit/components/aboutmemory/content/aboutMemory.css.
    1.11 + * Mobile-specific stuff is at the bottom of this file.
    1.12 + */
    1.13 +
    1.14 +html {
    1.15 +  background: -moz-Dialog;
    1.16 +  font: message-box;
    1.17 +}
    1.18 +
    1.19 +body {
    1.20 +  padding: 0 2em;
    1.21 +  margin: 0;
    1.22 +  min-width: 45em;
    1.23 +  margin: auto;
    1.24 +}
    1.25 +
    1.26 +div.ancillary {
    1.27 +  margin: 0.5em 0;
    1.28 +  -moz-user-select: none;
    1.29 +}
    1.30 +
    1.31 +div.section {
    1.32 +  padding: 2em;
    1.33 +  margin: 1em 0em;
    1.34 +  border: 1px solid ThreeDShadow;
    1.35 +  border-radius: 10px;
    1.36 +  background: -moz-Field;
    1.37 +}
    1.38 +
    1.39 +div.opsRow {
    1.40 +  padding: 0.5em;
    1.41 +  margin-right: 0.5em;
    1.42 +  margin-top: 0.5em;
    1.43 +  border: 1px solid ThreeDShadow;
    1.44 +  border-radius: 10px;
    1.45 +  background: -moz-Field;
    1.46 +  display: inline-block;
    1.47 +}
    1.48 +
    1.49 +div.opsRowLabel {
    1.50 +  display: block;
    1.51 +  margin-bottom: 0.2em;
    1.52 +  font-weight: bold;
    1.53 +}
    1.54 +
    1.55 +.opsRowLabel label {
    1.56 +  margin-left: 1em;
    1.57 +  font-weight: normal;
    1.58 +}
    1.59 +
    1.60 +div.non-verbose pre.entries {
    1.61 +  overflow-x: hidden;
    1.62 +  text-overflow: ellipsis;
    1.63 +}
    1.64 +
    1.65 +h1 {
    1.66 +  padding: 0;
    1.67 +  margin: 0;
    1.68 +}
    1.69 +
    1.70 +h2 {
    1.71 +  background: #ddd;
    1.72 +  padding-left: .1em;
    1.73 +}
    1.74 +
    1.75 +.accuracyWarning {
    1.76 +  color: #d22;
    1.77 +}
    1.78 +
    1.79 +.badInputWarning {
    1.80 +  color: #f00;
    1.81 +}
    1.82 +
    1.83 +.treeline {
    1.84 +  color: #888;
    1.85 +}
    1.86 +
    1.87 +.mrValue {
    1.88 +  font-weight: bold;
    1.89 +  color: #400;
    1.90 +}
    1.91 +
    1.92 +.mrPerc {
    1.93 +}
    1.94 +
    1.95 +.mrSep {
    1.96 +}
    1.97 +
    1.98 +.mrName {
    1.99 +  color: #004;
   1.100 +}
   1.101 +
   1.102 +.mrNote {
   1.103 +  color: #604;
   1.104 +}
   1.105 +
   1.106 +.hasKids {
   1.107 +  cursor: pointer;
   1.108 +}
   1.109 +
   1.110 +.hasKids:hover {
   1.111 +  text-decoration: underline;
   1.112 +}
   1.113 +
   1.114 +.noselect {
   1.115 +  -moz-user-select: none;  /* no need to include this when cutting+pasting */
   1.116 +}
   1.117 +
   1.118 +.option {
   1.119 +  font-size: 80%;
   1.120 +  -moz-user-select: none;  /* no need to include this when cutting+pasting */
   1.121 +}
   1.122 +
   1.123 +.legend {
   1.124 +  font-size: 80%;
   1.125 +  -moz-user-select: none;  /* no need to include this when cutting+pasting */
   1.126 +}
   1.127 +
   1.128 +.debug {
   1.129 +  font-size: 80%;
   1.130 +}
   1.131 +
   1.132 +.hidden {
   1.133 +  display: none;
   1.134 +}
   1.135 +
   1.136 +.invalid {
   1.137 +  color: #fff;
   1.138 +  background-color: #f00;
   1.139 +}
   1.140 +
   1.141 +/* Mobile-specific parts go here. */
   1.142 +
   1.143 +/* buttons are different sizes and overlapping without this */
   1.144 +button {
   1.145 +  margin: 1%;
   1.146 +  padding: 2%;
   1.147 +}
   1.148 +
   1.149 +.hiddenOnMobile {
   1.150 +  display: none;
   1.151 +}
   1.152 +