browser/themes/linux/devtools/widgets.css@141e0f1194b1
browser/themes/linux/devtools/widgets.css
Wed, 31 Dec 2014 07:16:47 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 07:16:47 +0100
- branch
- TOR_BUG_9701
- changeset 3
- 141e0f1194b1
- permissions
- -rw-r--r--
Revert simplistic fix pending revisit of Mozilla integration attempt.
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/. */
5 %include ../../shared/devtools/widgets.inc.css
7 .side-menu-widget-group-checkbox .checkbox-spacer-box,
8 .side-menu-widget-item-checkbox .checkbox-spacer-box {
9 margin: 0;
10 border: none;
11 }
