Jens Reidel e46a854463 [matrix] Search to top, icon ...

* Search bar to top, magnifying glass

* Remove old file

* Remove empty style directive

2020-12-18 21:18:52 -05:00

..

codeblocks.css

Add dark theme for codeblocks

2020-12-18 21:18:52 -05:00

copy.js

Cleanup copy button CSS and add a hover-over explanation.

2020-12-18 21:18:51 -05:00

custom.js

[matrix] Modal cleanup

2020-12-18 21:18:51 -05:00

scorer.js

[matrix] Refactor docs JS

2020-12-18 21:18:50 -05:00

style.css

[matrix] Search to top, icon

2020-12-18 21:18:52 -05:00