Upgrade bootstrap/jquery

Still needs some tweaks, the list is too noisy right now.

1 files changed, 5 insertions, 12 deletions

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;
 }