From 5871ce34a04548f6bb92d4e3513e44325b5b3bf7 Mon Sep 17 00:00:00 2001
From: Jonas Winkler <jonas.winkler@jpwinkler.de>
Date: Mon, 9 Nov 2020 16:02:58 +0100
Subject: [PATCH] made the settings a little bit nicer

---
 .../app/components/manage/settings/settings.component.html    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src-ui/src/app/components/manage/settings/settings.component.html b/src-ui/src/app/components/manage/settings/settings.component.html
index 146d0c1be..fcfbf51c8 100644
--- a/src-ui/src/app/components/manage/settings/settings.component.html
+++ b/src-ui/src/app/components/manage/settings/settings.component.html
@@ -34,7 +34,7 @@ <h4>Document list</h4>
       <a ngbNavLink>Saved views</a>
       <ng-template ngbNavContent>
 
-        <table class="table table-striped">
+        <table class="table table-borderless table-sm">
           <thead>
             <tr>
               <th scope="col">Title</th>
@@ -57,7 +57,7 @@ <h4>Document list</h4>
     </li>
   </ul>
 
-  <div [ngbNavOutlet]="nav" class="mt-2"></div>
+  <div [ngbNavOutlet]="nav" class="border-left border-right border-bottom p-3 mb-3"></div>
 
   <button type="submit" class="btn btn-primary">Save</button>
 </form>
\ No newline at end of file