Matthew Hodgson bede9a814b remove spurious top border; fix #1472		2016-05-24 00:30:36 +01:00
..
vector	remove spurious top border; fix #1472	2016-05-24 00:30:36 +01:00