This repository has been archived on 2023-08-16. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

…
..
tmp
dev-common.css
dev-layout-entry-content.css
dev-layout-main-content.css
dev-layout-reference-container.css
dev-tooltips-alternative.css
dev-tooltips.css
settings.css