Lines Matching refs:var

12     background: var(--selection_background, #275c9c); 
13     color: var(--selection_color, white);
17     background: var(--selection_background, #275c9c); 
18     color: var(--selection_color, white);
27     color: var(--text, #333);
28     background: var(--background_site, #fbfaf9) url(images/page-gradient.png) top left repeat-x;
43     scrollbar-color: var(--scrollbar_thumb) var(--scrollbar_track);
48     background: var(--scrollbar_track);
54     background: var(--scrollbar_thumb);
60     color: var(--text, #000);
61     background-color: var(--background, #fff);
66     background-color: var(--background, #fff);
73     background-color: var(--background, #fff);
74     border: 1px solid var(--border,#333);
75     color: var(--text,#000);
83     background-color: var(--background_site, #fff);
84     border: 1px solid var(--border,#333);
85     color: var(--text,#000);
89     background-color: var(--background_alt, #eee);
90     color: var(--text, #333);
95     background-color: var(--background_alt, #eee);
99     color: var(--text, #000);
100     background-color: var(--background, #fff);
104     background-color: var(--background, #fff);
105     border: 1px solid var(--text_alt, #999)
109     background-color: var(--pre_text, #333);
144 	border-bottom: 1px solid var(--border, #333);
149     border-bottom: 1px solid var(--border, #333);
249     border: 1px solid var(--border, #ccc);
265     border: 1px solid var(--border, #ccc);
269     background-color: var(--background_alt, #eee);
285     color: var(--link, #2b73b7);
302     color: var(--text_neu, #666);
323     border-top: solid var(--border, #ccc);
324     border-bottom: solid var(--border, #ccc);
343     background-color: var(--highlight, #ff9);
355     background-color: var(--pre_background, #fbfaf9);
356     color: var(--pre_text, #333);
368     background-color: var(--background_site, #fbfaf9);
369     color: var(--text, #333);
374     border: 1px solid var(--border, #ccc);
382     border: solid var(--border, #ccc);
421     border: 1px solid var(--text_alt, #999);
447     color: var(--text, #000);
448     background-color: var(--background, #fff);
471     border: 1px solid var(--border, #333);
501     color: var(--text, #000);
502     background-color: var(--background_alt, #eee);
503     border: 1px solid var(--border, #333);
528     border-color: var(--background_neu, #ddd);
529     background-color: var(--background_neu, #ddd);
549     background-color: var(--background_alt, #eee);
550     color: var(--text_alt, #999);