From ba763e1ca57f1c24952ba31d5c88a27d4e35b4a6 Mon Sep 17 00:00:00 2001
From: Gerhard Gonter <ggonter@gmail.com>
Date: Wed, 31 May 2017 17:55:40 +0200
Subject: [PATCH] a few small repairs

---
 userContent.css | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/userContent.css b/userContent.css
index 642d843..e74ca01 100644
--- a/userContent.css
+++ b/userContent.css
@@ -8,6 +8,22 @@
     body{ font-weight: 400 !important; /* font-weight 300 makes the text really hard to read */ }
 }
 
+@-moz-document domain(phaidra.univie.ac.at) {
+    body{ font-weight: 400 !important; /* font-weight 300 makes the text really hard to read */ }
+    #wrapper{
+      width: 100% !important; /* 998px is a waste of screen real estate */
+    }
+    #pagebody{
+      width: 100% !important;
+    }
+    #content{
+      width: calc(100% - 200px) !important;
+    }
+    #search-result-list-item-right{
+      width: calc(100% - 70px) !important;
+    }
+}
+
 @-moz-document domain(phaidra-sandbox.univie.ac.at) {
     body{ font-weight: 400 !important; /* font-weight 300 makes the text really hard to read */ }
     .flex-70{
@@ -28,8 +44,15 @@
 /* this is a nice example for really bad web design: dark grey background with slightly darker grey letters */
   body{ background-color: #FFFFFF !important; background: none; }
   #main{
+    width: 100% !important;
     color: #000000 !important;
     background-image: none !important;
     background: none !important;
   }
+  #inner-main{
+    width: 100% !important;
+  }
+  #inner-right{
+    width: calc(100% - 220px) !important; /* 220px is nav bar with style #inner-left */
+  }
 }
-- 
GitLab