This repository has been archived on 2022-08-19. You can view files and clone it, but cannot push or open issues or pull requests.

Bruno Windels 9d260c692b tweak font-sizes to what element web has		2020-08-19 10:26:52 +02:00
..
css	tweak font-sizes to what element web has	2020-08-19 10:26:52 +02:00
dom	add license header in all source files	2020-08-05 18:38:55 +02:00
general	append all list items at once for initial render	2020-08-17 17:58:04 +02:00
login	style login page	2020-08-14 14:49:22 +02:00
session	yield for browser to render before checking content height	2020-08-17 17:58:39 +02:00
BrawlView.js	add license header in all source files	2020-08-05 18:38:55 +02:00
common.js	add license header in all source files	2020-08-05 18:38:55 +02:00
view-gallery.html	switch view gallery to element theme	2020-08-13 17:59:36 +02:00
WebPlatform.js	add license header in all source files	2020-08-05 18:38:55 +02:00