for compressing CSS
...and uncompressing
If there are any more css elements that don't match the current grey and orange theme, tell me over here --Prince (talk) 16:51, 14 August 2022 (UTC)