}
}
-/* Search */
-
-@keyframes pulse {
- 0% {
- transform: scale(0.8);
- }
-
- 100% {
- transform: scale(1);
- }
-}
-
-#searchHighlights, .searchHighlights {
- position: absolute;
- top: 0px;
- left: 0px;
- z-index: 6;
- pointer-events: none;
- opacity: 0.3;
-
- .highlight {
- position: absolute;
- border-width: 2px;
- border-radius: 2px;
- border-style: solid;
-
- transform-origin: 0 0;
-
- //&.robust {
- // border-radius: 50% 50%;
- // animation: pulse 1s infinite alternate linear;
- // transform-origin: 50% 50%;
- //}
-
- &[data-color="0"], &[data-color="5"], &[data-color="10"] {
- .highlight-area(#00ff00);
- }
-
- &[data-color="1"], &[data-color="6"], &[data-color="11"] {
- .highlight-area(#ffff00);
- }
-
- &[data-color="2"], &[data-color="7"], &[data-color="12"] {
- .highlight-area(#00ffff);
- }
-
- &[data-color="3"], &[data-color="8"], &[data-color="13"] {
- .highlight-area(#ff00ff);
- }
-
- &[data-color="4"], &[data-color="9"], &[data-color="14"] {
- .highlight-area(#ff0000);
- }
- }
-}
+@import "search";
@import "shadow";
display: none;
}
-.highlight-area(@color) {
- border-color: @color;
- background-color: @color;
- &.robust {
- border: 0;
- }
-}
.page-transition(@factor) {
.prop-transition(all, @factor);
--- /dev/null
+/* Search */
+
+@keyframes pulse {
+ 0% {
+ transform: scale(0.8);
+ }
+
+ 100% {
+ transform: scale(1);
+ }
+}
+
+
+.highlight-area(@color) {
+ border-color: @color;
+ background-color: @color;
+ &.robust {
+ border: 0;
+ }
+}
+
+#searchHighlights, .searchHighlights {
+ position: absolute;
+ top: 0px;
+ left: 0px;
+ z-index: 6;
+ pointer-events: none;
+ opacity: 0.3;
+
+ .highlight {
+ position: absolute;
+ border-width: 2px;
+ border-radius: 2px;
+ border-style: solid;
+
+ transform-origin: 0 0;
+
+ //&.robust {
+ // border-radius: 50% 50%;
+ // animation: pulse 1s infinite alternate linear;
+ // transform-origin: 50% 50%;
+ //}
+
+ &[data-color="0"], &[data-color="5"], &[data-color="10"] {
+ .highlight-area(@search-highlight-0);
+ }
+
+ &[data-color="1"], &[data-color="6"], &[data-color="11"] {
+ .highlight-area(@search-highlight-1);
+ }
+
+ &[data-color="2"], &[data-color="7"], &[data-color="12"] {
+ .highlight-area(@search-highlight-2);
+ }
+
+ &[data-color="3"], &[data-color="8"], &[data-color="13"] {
+ .highlight-area(@search-highlight-3);
+ }
+
+ &[data-color="4"], &[data-color="9"], &[data-color="14"] {
+ .highlight-area(@search-highlight-4);
+ }
+ }
+}
\ No newline at end of file