762f1d7237
* Add wrapping to long diff lines to fix #1827 * Fix css class and make changes to source (less) files * Fix wrong space indentation * Fix indentation inconsistencies and remove very old WebKit workaround |
||
---|---|---|
.. | ||
index.css |