From 5703498008563418c4407c1608cd8cac933f96c0 Mon Sep 17 00:00:00 2001
From: Lars-Dominik Braun <lars@6xq.net>
Date: Mon, 16 Oct 2017 13:59:04 +0200
Subject: Upgrade bootstrap/jquery

Still needs some tweaks, the list is too noisy right now.
---
 data/style.css | 17 +++++------------
 1 file changed, 5 insertions(+), 12 deletions(-)

(limited to 'data')

diff --git a/data/style.css b/data/style.css
index 2b269df..e93a4e3 100644
--- a/data/style.css
+++ b/data/style.css
@@ -1,5 +1,9 @@
+/* for floating navbar */
+body {
+	padding-top: 3.5rem;
+}
+
 #protosort {
-	text-align: right;
 	display: hidden;
 }
 
@@ -15,17 +19,6 @@
 	content: ":";
 }
 
-.protocol .related ul {
-	list-style-type: none;
-	margin: 0;
-	padding 0;
-}
-.protocol .related li {
-	display: inline;
-	margin: 0;
-	margin-right: 1em;
-	padding 0;
-}
 .filter-feature {
 	display: hidden;
 }
-- 
cgit v1.2.3