Giteabot d6f7c49b8b Reduce margin/padding on flex-list items and divider (#27872) (#27874) ... Backport #27872 by @silverwind Small CSS tweak, reduces margin/padding from 14px to 10px, which I think looks better		2023-11-02 13:24:03 +08:00
..
css	Reduce margin/padding on flex-list items and divider (#27872) (#27874)	2023-11-02 13:24:03 +08:00
fomantic	Remove fomantic text module (#26777)	2023-08-30 10:37:17 +00:00
js	Change katex limits (#27823) (#27868)	2023-11-01 22:26:45 +01:00
svg