Guido Günther
9d97fa4d29
pin: Use less margin
Introduce a common.css so styles don't deviate unintentionally between
the different themes. Way more stuff can be moved here once this is in.
2021-12-05 17:34:40 +01:00
..
2019-07-11 14:31:25 +02:00
2019-07-20 14:39:47 +00:00
2021-12-05 17:31:12 +01:00
2021-12-03 16:57:26 +01:00
2021-12-05 17:34:40 +01:00
2021-11-06 11:13:07 +01:00
2019-11-05 13:10:55 +00:00
2020-05-26 12:02:55 +02:00
2021-12-05 17:34:40 +01:00
2021-12-05 17:34:40 +01:00
2021-12-05 17:34:40 +01:00