tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

devtools-browser.css (657B)

      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 /* This file is dynamically loaded when either the toolbox or RDM is open. */
      6 
      7 @import url("chrome://devtools/skin/splitters.css");
      8 @import url("chrome://devtools/content/responsive/responsive-browser.css");
      9 
     10 /* Set min-height to 29px as it matches the height of the .devtools-tabbar (/devtools/client/themes/toolbox.css#67)
     11 * This prevents the shrinking of the toolbox until it disappears. */
     12 .devtools-toolbox-bottom-iframe {
     13  min-height: 29px;
     14 }