The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/browser/base/content/highlighter.css	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,72 @@
     1.4 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.5 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.6 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.7 +
     1.8 +.highlighter-container {
     1.9 +  pointer-events: none;
    1.10 +}
    1.11 +
    1.12 +/*
    1.13 + * Box model highlighter
    1.14 + */
    1.15 +svg|svg.box-model-root[hidden],
    1.16 +svg|line.box-model-guide-top[hidden],
    1.17 +svg|line.box-model-guide-right[hidden],
    1.18 +svg|line.box-model-guide-left[hidden],
    1.19 +svg|line.box-model-guide-bottom[hidden] {
    1.20 +  display: none;
    1.21 +}
    1.22 +
    1.23 +/*
    1.24 + * Node Infobar
    1.25 + */
    1.26 +.highlighter-nodeinfobar-container {
    1.27 +  position: relative;
    1.28 +}
    1.29 +
    1.30 +.highlighter-nodeinfobar-positioner {
    1.31 +  position: absolute;
    1.32 +  max-width: 95%;
    1.33 +}
    1.34 +
    1.35 +.highlighter-nodeinfobar-positioner[hidden] {
    1.36 +  opacity: 0;
    1.37 +  pointer-events: none;
    1.38 +  display: -moz-box;
    1.39 +}
    1.40 +
    1.41 +.highlighter-nodeinfobar-text {
    1.42 +  overflow: hidden;
    1.43 +  white-space: nowrap;
    1.44 +  text-overflow: ellipsis;
    1.45 +  direction: ltr;
    1.46 +}
    1.47 +
    1.48 +html|*.highlighter-nodeinfobar-id,
    1.49 +html|*.highlighter-nodeinfobar-classes,
    1.50 +html|*.highlighter-nodeinfobar-pseudo-classes,
    1.51 +html|*.highlighter-nodeinfobar-tagname {
    1.52 +  -moz-user-select: text;
    1.53 +  -moz-user-focus: normal;
    1.54 +  cursor: text;
    1.55 +}
    1.56 +
    1.57 +.highlighter-nodeinfobar-arrow {
    1.58 +  display: none;
    1.59 +}
    1.60 +
    1.61 +.highlighter-nodeinfobar-positioner[position="top"]:not([hide-arrow]) > .highlighter-nodeinfobar-arrow-bottom {
    1.62 +  display: block;
    1.63 +}
    1.64 +
    1.65 +.highlighter-nodeinfobar-positioner[position="bottom"]:not([hide-arrow]) > .highlighter-nodeinfobar-arrow-top {
    1.66 +  display: block;
    1.67 +}
    1.68 +
    1.69 +.highlighter-nodeinfobar-positioner[disabled] {
    1.70 +  visibility: hidden;
    1.71 +}
    1.72 +
    1.73 +html|*.highlighter-nodeinfobar-tagname {
    1.74 +  text-transform: lowercase;
    1.75 +}