tastytea 8776da8514 Make <hr> above footnotes dashed.		2020-12-29 02:31:34 +01:00
..
nocolor.css	Make <hr> above footnotes dashed.	2020-12-29 02:31:34 +01:00