Thu, 15 Jan 2015 15:59:08 +0100
Implement a real Private Browsing Mode condition by changing the API/ABI;
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 | %include ../../shared/devtools/netmonitor.inc.css |
michael@0 | 6 | |
michael@0 | 7 | .requests-menu-header-button > .button-box { |
michael@0 | 8 | padding: 0; |
michael@0 | 9 | } |
michael@0 | 10 | |
michael@0 | 11 | .requests-menu-timings-division { |
michael@0 | 12 | padding-top: 1px; |
michael@0 | 13 | font-size: 90%; |
michael@0 | 14 | } |
michael@0 | 15 | |
michael@0 | 16 | .requests-menu-footer-button, |
michael@0 | 17 | .requests-menu-footer-label { |
michael@0 | 18 | padding-top: 0px; |
michael@0 | 19 | padding-bottom: 0px; |
michael@0 | 20 | } |
michael@0 | 21 | |
michael@0 | 22 | /* Responsive sidebar */ |
michael@0 | 23 | @media (max-width: 700px) { |
michael@0 | 24 | .requests-menu-footer-button, |
michael@0 | 25 | .requests-menu-footer-label { |
michael@0 | 26 | padding-top: 0px; |
michael@0 | 27 | padding-bottom: 0px; |
michael@0 | 28 | } |
michael@0 | 29 | } |