Aaron 6c5d814a99 PageIndexWidget: hide page numbers on smaller screens

2023-03-21 23:12:47 +01:00

..

fonts

Add a space invader to the logo.

2017-11-09 17:00:34 +01:00

admin.css

Remove more obsolete styling

2023-03-11 21:55:44 +01:00

default.css

PageIndexWidget: hide page numbers on smaller screens

2023-03-21 23:12:47 +01:00