mrpaulblack 6a8e168e25 [simple theme] use default font and font-size in info page		2022-03-16 21:01:22 +01:00
..
plugins	[mod] infinite_scroll as preference	2022-02-20 22:58:51 +01:00
themes	[simple theme] use default font and font-size in info page	2022-03-16 21:01:22 +01:00