Rainer Simon 6572e21838 RecogitoJS and Annotorious now handle editor left margin separately		2021-11-04 15:30:00 +01:00
..
editor	RecogitoJS and Annotorious now handle editor left margin separately	2021-11-04 15:30:00 +01:00
globals	Minor CSS tweak	2021-10-19 08:04:57 +02:00
index.js	Refactoring	2020-04-04 10:45:53 +02:00
theme.scss	Refactoring	2021-02-21 08:05:10 +01:00