4 Commits (a99f080e97acf82ed774b98b7eb62ccdf16a0127)

Author	SHA1	Message	Date
unknown	20fc8514a5	I have added spacing, as devices are very hard to read otherwise	2020-02-02 18:47:16 +01:00
David Baker	f7083ac332	Clarify that device names are publicly visible ... And also a bunch of other UI fixes in the devices table: * It's the devices table, don't need 'device' in all the headers * Not really necessary to label checkboxes with 'select' * Stop table from moving down when the delete button appears Fixes https://github.com/vector-im/riot-web/issues/10216	2019-08-19 18:09:37 +01:00
J. Ryan Stinnett	dd2079bffc	Auto-fix stylelint issues ... These `stylelint` issues were autofixed by the tool itself and look sane to me.	2019-07-10 16:56:40 +01:00
Matthew Hodgson	79d3cca6e9	move components' CSS to be in the same repo as their JS	2018-04-12 00:23:58 +01:00