Ayesh Karunaratne c1dce9083b Minor optimizations in CSS files to shed some weight (#612) ...

- Removes px suffix from 0px.
 - Combines CSS properties where they are immediately overridden in the same selector block, or can be combined without side effects.

 This saves about 50 bytes off the CSS scripts. it ain't much but it's honest work

2022-07-05 11:38:25 +01:00

..

ext

Sync final and leading newlines

2018-10-17 12:37:26 +02:00

common.js

Improve fix of php bug 74493

2021-11-19 13:10:57 +01:00

search-index.php

Swap uses of _SERVER[DOCUMENT_ROOT] for __DIR__

2019-05-31 12:31:21 -04:00

search.js

Change escaping function to build URL for searching

2022-05-30 15:43:58 +02:00

usernotes.js

Minor optimizations in CSS files to shed some weight (#612)

2022-07-05 11:38:25 +01:00