David Benqué 507936a5dc Add margin to button icons		2021-01-28 11:36:12 +00:00
..
less2	Add margin to button icons	2021-01-28 11:36:12 +00:00
outer.css	Merge filepicker and share iframes	2020-04-07 14:27:44 +02:00
print-landscape.css	Fix UI issues when printing code	2020-10-26 14:57:54 +01:00
print.css	Fix UI issues when printing code	2020-10-26 14:57:54 +01:00
template.html	Use new favicon in static pages	2020-11-10 16:19:58 +00:00