Searched refs:highlight (Results 1 – 25 of 279) sorted by relevance
12345678910>>...12
12 @highlight-odd-ini_text,13 @highlight-odd-ini_text 10px,14 @highlight-even-ini_text 10px,15 @highlight-even-ini_text 20px,
2 * This file provides styles for highlight plugin
9 --highlight: __highlight__;34 --highlight: __highlight_color_dark__;
12 background-color: var(--highlight, #ff9);
7 pre.highlight, pre.highlight code {
40 .highlight(@arg) when (iscolor(@arg)) {75 .highlight(@ini_highlight);
6 css/highlight.css = all
23 td.area.highlight {
30 // don't highlight current ids
30 .edit-button-highlight-cs {
13 /* highlight selected tool */
20 * * Scrollspy and affixed enhanced navigation to highlight sections and secondary
66 @highlight-odd-ini_text: fade(@ini_background, 95%);67 @highlight-even-ini_text: fade(@ini_text, 5%);
97 .highlight { background:#ff0; }
130 /* highlight selected tool */
148 /* highlight newly uploaded or edited file */
118 /* highlight newly uploaded or edited file */