OLD | NEW |
1 html { | 1 html { |
2 height: 100%; | 2 height: 100%; |
3 } | 3 } |
4 | 4 |
5 body { | 5 body { |
6 cursor: default; | 6 cursor: default; |
7 position: relative; | 7 position: relative; |
8 height: 100%; | 8 height: 100%; |
9 width: 100%; | 9 width: 100%; |
10 overflow: hidden; | 10 overflow: hidden; |
(...skipping 54 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
65 font-size: 10px !important; | 65 font-size: 10px !important; |
66 font-family: monospace; | 66 font-family: monospace; |
67 } | 67 } |
68 | 68 |
69 .highlighted-search-result { | 69 .highlighted-search-result { |
70 border-radius: 1px; | 70 border-radius: 1px; |
71 padding: 1px; | 71 padding: 1px; |
72 margin: -1px; | 72 margin: -1px; |
73 background-color: rgba(255, 255, 0, 0.8); | 73 background-color: rgba(255, 255, 0, 0.8); |
74 } | 74 } |
| 75 |
| 76 /* TODO: Come up with a design */ |
| 77 .current-search-result { |
| 78 border-radius: 1px; |
| 79 padding: 1px; |
| 80 margin: -1px; |
| 81 background-color: rgba(255, 127, 0, 0.8); |
| 82 } |
OLD | NEW |