diff -r 000000000000 -r 6474c204b198 browser/themes/windows/devtools/netmonitor.css --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/browser/themes/windows/devtools/netmonitor.css Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,29 @@ +/* This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ + +%include ../../shared/devtools/netmonitor.inc.css + +.requests-menu-header-button > .button-box { + padding: 0; +} + +.requests-menu-timings-division { + padding-top: 1px; + font-size: 90%; +} + +.requests-menu-footer-button, +.requests-menu-footer-label { + padding-top: 0px; + padding-bottom: 0px; +} + +/* Responsive sidebar */ +@media (max-width: 700px) { + .requests-menu-footer-button, + .requests-menu-footer-label { + padding-top: 0px; + padding-bottom: 0px; + } +}