Nicolas F 8f1925ce05 search_results: various fixes to the DOM ... Avoid repeated style attributes, instead use nth-child CSS selectors and classes where appropriate. Also, get rid of the useless <div> around column headings. They don't seem to do anything useful and are just more stuff for the browser's layout engine to juggle around. We can also use Jinja2 to remove some of the unnecessary whitespace around table headings, which makes things like copy-pasting in Firefox act less weird. This includes some other whitespace fixes too.		2019-04-30 23:11:40 +02:00
..
bootstrap-dark.min.css	Remove sourceMappingURL from bootstrap-dark.min.css	2017-05-14 15:24:20 +01:00
bootstrap-xl-mod.css	More layout improvements.	2017-05-24 05:28:30 +00:00
bootstrap.min.css	Initial commit.	2017-05-12 20:51:49 +02:00
main.css	search_results: various fixes to the DOM	2019-04-30 23:11:40 +02:00