##// END OF EJS Templates
search: make better use of search tags...
search: make better use of search tags - add global tag which can widen the search results

File last commit:

r3164:9a2c9ca9 default
r3446:dd151813 default
Show More
add.css
13 lines | 270 B | text/css | CssLexer
project: added all source files and assets
r1 .menuselection, .guilabel {
font-size: .90em;
ui: dropped the custom font in favor of builtin ones....
r3164 font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif;
project: added all source files and assets
r1 font-style: oblique;
}
ui: dropped the custom font in favor of builtin ones....
r3164 .version {
project: added all source files and assets
r1 display: none;
ui: dropped the custom font in favor of builtin ones....
r3164 }
project: added all source files and assets
r1
ui: dropped the custom font in favor of builtin ones....
r3164 .pre {
color: #000
}