css/*: Add some HTML style hacks I use in a few places.
authorMark Wooding <mdw@distorted.org.uk>
Wed, 23 Jan 2019 17:25:07 +0000 (17:25 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 23 Jan 2019 17:26:35 +0000 (17:26 +0000)
These need to be stuffed into a browser extension such as Stylus to be
useful.


No differences found