rudimentary export options

resources/views/table/_panel-export.blade.php

@@ -0,0 +1,22 @@
+<b>Export presets:</b>
+
+<ul class="mt-2">
+  @foreach([
+    'json' => 'JSON array of objects',
+    'csv' => 'CSV table',
+    'c' => 'C structs array',
+  ] as $type => $title)
+
+  <li><a href="{{ route('table.export', [
+    'user' => $table->owner->name,
+    'table' => $table->name,
+    'format' => $type
+  ]) }}">{{ $title }}</a> – <a href="{{ route('table.export', [
+    'user' => $table->owner->name,
+    'table' => $table->name,
+    'format' => $type,
+    'dl' => 1
+  ]) }}">@icon(fa-download px-1, Download)</a>
+
+    @endforeach
+</ul>

resources/views/table/view.blade.php

@@ -35,14 +35,14 @@
     </div>
 
     <div class="tab-pane container" id="infobox-export" role="tabpanel" aria-labelledby="infobox-export-tab">
-      Export … coming soon
+      @include('table._panel-export')
     </div>
 
   </div>{{-- End of tab panels wrapper --}}
 
   {{-- Right column with menu --}}
   <div class="col-md-2 border-left order-md-2 order-0 mb-md-0 mb-2">
-    <div class="nav flex-md-column flex-row nav-pills pt-1" role="tablist"
+    <div class="nav flex-md-column flex-row nav-pills pt-1 pb-1" role="tablist"
          aria-label="Tabs for the table info box" id="infobox-tab">
 
       <a class="nav-link active" data-toggle="pill" role="tab" aria-selected="true"