John Cowen 3a89c7d232
ui: CSS margin/border alterations (#8796)
* ui: Reorganize page top margins and borders

* Tweak definition table copy-buttons

* Make room for intro paragraphs
2020-10-05 15:02:15 +01:00
..
2019-05-01 18:22:37 +00:00
2020-09-22 18:20:44 +01:00
2020-06-03 16:46:51 +00:00
2018-10-19 08:45:05 -07:00
2018-10-19 08:45:05 -07:00
2020-05-12 17:14:24 +00:00
2020-09-22 18:20:44 +01:00
2020-10-01 09:33:22 +01:00
2020-09-22 18:20:44 +01:00
2018-10-19 08:45:05 -07:00
2020-09-22 18:20:44 +01:00
2018-10-19 08:45:05 -07:00
2019-05-01 18:22:10 +00:00
2019-05-01 18:21:38 +00:00
2020-09-22 18:20:44 +01:00