toolkit/themes/linux/global/menu.css

Tue, 06 Jan 2015 21:39:09 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Tue, 06 Jan 2015 21:39:09 +0100
branch
TOR_BUG_9701
changeset 8
97036ab72558
permissions
-rw-r--r--

Conditionally force memory storage according to privacy.thirdparty.isolate;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.

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 /* ===== menu.css =======================================================
michael@0 6 == Styles used by XUL menu-related elements.
michael@0 7 ======================================================================= */
michael@0 8
michael@0 9 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
michael@0 10
michael@0 11 /* ::::: menu/menuitem ::::: */
michael@0 12
michael@0 13 menu,
michael@0 14 menuitem,
michael@0 15 .splitmenu-menuitem {
michael@0 16 -moz-appearance: menuitem;
michael@0 17 -moz-box-align: center;
michael@0 18 max-width: 42em;
michael@0 19 color: MenuText;
michael@0 20 font: menu;
michael@0 21 list-style-image: none;
michael@0 22 -moz-image-region: auto;
michael@0 23 }
michael@0 24
michael@0 25 menuitem[default="true"] {
michael@0 26 font-weight: bold;
michael@0 27 }
michael@0 28
michael@0 29 menu[_moz-menuactive="true"],
michael@0 30 menuitem[_moz-menuactive="true"],
michael@0 31 .splitmenu-menuitem[_moz-menuactive="true"] {
michael@0 32 color: -moz-menuhovertext;
michael@0 33 background-color: -moz-menuhover;
michael@0 34 }
michael@0 35
michael@0 36 menu[disabled="true"],
michael@0 37 menuitem[disabled="true"],
michael@0 38 .splitmenu-menuitem[disabled="true"] {
michael@0 39 color: GrayText;
michael@0 40 }
michael@0 41
michael@0 42 menubar > menu {
michael@0 43 padding: 0px 4px;
michael@0 44 color: -moz-menubartext;
michael@0 45 }
michael@0 46
michael@0 47 menubar:-moz-lwtheme > menu {
michael@0 48 text-shadow: none;
michael@0 49 }
michael@0 50
michael@0 51 menubar:-moz-lwtheme > menu:not([open="true"]) {
michael@0 52 color: inherit;
michael@0 53 text-shadow: inherit;
michael@0 54 }
michael@0 55
michael@0 56 menubar > menu[_moz-menuactive="true"]:not([open]):not([disabled="true"]):not(:-moz-lwtheme) {
michael@0 57 color: -moz-menubartext;
michael@0 58 }
michael@0 59
michael@0 60 menubar > menu[open] {
michael@0 61 color: -moz-menubarhovertext;
michael@0 62 background-color: -moz-menuhover;
michael@0 63 }
michael@0 64 menuitem.spell-suggestion {
michael@0 65 font-weight:bold;
michael@0 66 }
michael@0 67
michael@0 68 /* ::::: menu/menuitems in menulist popups ::::: */
michael@0 69
michael@0 70 .menulist-menupopup > menuitem,
michael@0 71 menulist > menupopup > menuitem,
michael@0 72 .menulist-menupopup > menu,
michael@0 73 menulist > menupopup > menu {
michael@0 74 padding: 1px 5px;
michael@0 75 max-width: none;
michael@0 76 font: message-box;
michael@0 77 }
michael@0 78
michael@0 79 /* ..... internal content .... */
michael@0 80
michael@0 81 .menu-text,
michael@0 82 .menu-iconic-left,
michael@0 83 .menu-iconic-text {
michael@0 84 margin-top: 0px !important;
michael@0 85 margin-bottom: 0px !important;
michael@0 86 -moz-margin-start: 0px !important;
michael@0 87 -moz-margin-end: 2px !important;
michael@0 88 color: inherit;
michael@0 89 }
michael@0 90
michael@0 91 .menu-text {
michael@0 92 /* This is (18 + the size of end-padding on .menu-iconic-left)px */
michael@0 93 -moz-margin-start: 21px !important;
michael@0 94 font-weight: inherit;
michael@0 95 }
michael@0 96
michael@0 97 .menu-description {
michael@0 98 font-style: italic;
michael@0 99 color: GrayText;
michael@0 100 -moz-margin-start: 1ex !important;
michael@0 101 }
michael@0 102
michael@0 103 .menu-accel,
michael@0 104 .menu-iconic-accel {
michael@0 105 margin-top: 0px !important;
michael@0 106 margin-bottom: 0px !important;
michael@0 107 -moz-margin-start: 7px !important;
michael@0 108 color: inherit;
michael@0 109 }
michael@0 110
michael@0 111 .menu-accel-container {
michael@0 112 -moz-box-pack: end;
michael@0 113 }
michael@0 114
michael@0 115 .menu-iconic-left {
michael@0 116 width: 16px;
michael@0 117 /* We can only hardcode this, to make the default GTK icon<->label spacing */
michael@0 118 -moz-padding-end: 3px !important;
michael@0 119 }
michael@0 120
michael@0 121 .menu-iconic-icon {
michael@0 122 width: 16px;
michael@0 123 height: 16px;
michael@0 124 }
michael@0 125
michael@0 126 .menu-right {
michael@0 127 margin-top: 0px;
michael@0 128 margin-bottom: 0px;
michael@0 129 -moz-margin-start: 6px;
michael@0 130 -moz-margin-end: 0px;
michael@0 131 width: 1ex;
michael@0 132 height: 1ex;
michael@0 133 /* These next two rules are needed to prevent inheritance and thus ugliness */
michael@0 134 list-style-image: none;
michael@0 135 -moz-image-region: auto;
michael@0 136 -moz-appearance: menuarrow;
michael@0 137 }
michael@0 138
michael@0 139 .menubar-left {
michael@0 140 margin-top: 0px;
michael@0 141 margin-bottom: 0px;
michael@0 142 -moz-margin-start: 0px;
michael@0 143 -moz-margin-end: 2px;
michael@0 144 color: inherit;
michael@0 145 }
michael@0 146
michael@0 147 .menubar-text {
michael@0 148 margin: 0 1px !important;
michael@0 149 color: inherit;
michael@0 150 }
michael@0 151
michael@0 152
michael@0 153 .menulist-menupopup > menuitem > .menu-iconic-left,
michael@0 154 menulist > menupopup > menuitem > .menu-iconic-left,
michael@0 155 .menulist-menupopup > menu > .menu-iconic-left,
michael@0 156 menulist > menupopup > menu > .menu-iconic-left {
michael@0 157 display: none;
michael@0 158 }
michael@0 159
michael@0 160 /* ::::: checkbox menuitem ::::: */
michael@0 161
michael@0 162 menuitem[checked="true"] {
michael@0 163 -moz-appearance: checkmenuitem !important;
michael@0 164 }
michael@0 165
michael@0 166 menuitem[type="checkbox"] {
michael@0 167 -moz-appearance: checkmenuitem !important;
michael@0 168 }
michael@0 169
michael@0 170 /* ::::: radio menuitem ::::: */
michael@0 171
michael@0 172 menuitem[type="radio"] {
michael@0 173 -moz-appearance: radiomenuitem !important;
michael@0 174 }
michael@0 175
michael@0 176 /* ::::: menuseparator ::::: */
michael@0 177
michael@0 178 menuseparator {
michael@0 179 -moz-appearance: menuseparator !important;
michael@0 180 margin: 2px 0;
michael@0 181 border-top: 1px solid ThreeDShadow;
michael@0 182 border-bottom: 1px solid ThreeDHighlight;
michael@0 183 }
michael@0 184
michael@0 185 menulist > menupopup > menuseparator,
michael@0 186 .menulist-menupopup > menuseparator {
michael@0 187 border-top: 1px solid #000000;
michael@0 188 border-bottom: none;
michael@0 189 }
michael@0 190
michael@0 191 /* ::::: autocomplete ::::: */
michael@0 192
michael@0 193 .autocomplete-history-popup > menuitem {
michael@0 194 max-width: none !important;
michael@0 195 font: message-box;
michael@0 196 }
michael@0 197
michael@0 198 /* ::::: tree column picker ::::: */
michael@0 199
michael@0 200 .treecell-popupcell-menu {
michael@0 201 -moz-margin-start: -2px;
michael@0 202 list-style-image: url("chrome://global/skin/columnselect.gif");
michael@0 203 -moz-image-region: auto;
michael@0 204 }

mercurial