.. |
css
|
74ca542a02
[enh] set up special css classes for highlighting results + highlight definitions with dark grey border
|
11 years ago |
img
|
dfce4fd865
[fix] add preference-icon.png
|
11 years ago |
js
|
b70b0775f3
[mod] the search text input gets the focus automatically only on the index page.
|
11 years ago |