Add export buttons to data tables

Change-Id: Ie05c400b0e19107148474a8f8735e83d92235107
diff --git a/css/derekovecs.css b/css/derekovecs.css
index be98310..922a37a 100644
--- a/css/derekovecs.css
+++ b/css/derekovecs.css
@@ -1,4 +1,6 @@
 @import url('https://fonts.googleapis.com/css2?family=Fira+Sans+Condensed:wght@300;400;700;800&family=Fira+Sans:wght@300;400;700&display=swap');
+@import url('https://cdn.datatables.net/buttons/3.0.0/css/buttons.dataTables.css');
+@import url('https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css');
 
 body, input {
     font-family: 'Fira Sans', sans-serif;
@@ -199,6 +201,15 @@
     //  border-bottom: 1px solid #111;
 }
 
+.dataTables_filter input { width: 16ex }
+
+.dt-button {
+  margin-top: 4px !important;
+  padding: 0px 6px 0px 6px !important;
+  border: none;
+  border-collapse:collapse;
+}
+
 g.u a, g.tsnet a, td.collocator {
     cursor: pointer;
 }