Changeset 210


Ignore:
Timestamp:
10/01/13 00:55:52 (6 years ago)
Author:
nhoyt
Message:

Reinstated border-collapse: separate; tweaked viewport scrolling to maintain 10 pixel offset between highlighted element and top of window.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/proto-14/chrome/content/highlight/highlight.js

    r209 r210  
    4141 
    4242    this.STYLES = { 
    43       violations:   'border: 2px dotted red', 
    44       warnings:     'border: 2px dotted orange',  
    45       manualChecks: 'border: 2px dotted blue', 
    46       passes:       'border: 2px solid  green',  
    47       hidden:       'border: 2px dotted grey', 
    48       result:       'border: 2px solid  black', 
     43      violations:   'border-collapse: separate; border: 2px dotted red', 
     44      warnings:     'border-collapse: separate; border: 2px dotted orange',  
     45      manualChecks: 'border-collapse: separate; border: 2px dotted blue', 
     46      passes:       'border-collapse: separate; border: 2px solid  green',  
     47      hidden:       'border-collapse: separate; border: 2px solid grey', 
     48      result:       'border-collapse: separate; border: 2px solid  black', 
    4949      offScreen:    'top: 2em; left: 2em; width: 40%; padding: 10px; margin: 2px; ' + 
    5050                    'background-color: white; color: black; font-size: 12pt; ' + 
     
    585585    //  If false, it is aligned with bottom. 
    586586    node.scrollIntoView(true); 
     587    if (window.content.scrollY) { 
     588      var offset = window.content.scrollY - 10; 
     589      window.content.scroll(0, offset); 
     590    } 
    587591  }, 
    588592 
Note: See TracChangeset for help on using the changeset viewer.