Did you know ... Search Documentation:
GIT commit info
Style for github links
authorJan Wielemaker
Sat Jun 18 18:13:17 2022 +0200
committerJan Wielemaker
Sat Jun 18 18:13:17 2022 +0200
commit065a0c77c26c3f488a4f52c31417959fde91b404
tree3b5d124e6b559246cd5906d1908d7137d13fb804
parent6eb3b4d431fc32fecbd0ca9253516737a7b4206c
Diff style: patch stat
diff --git a/css/swipl.css b/css/swipl.css
index 5af4e07..2435c61 100644
--- a/css/swipl.css
+++ b/css/swipl.css
@@ -358,7 +358,7 @@ ul.menubar-container > li ul li {
     margin-left: auto;
     margin-right: auto;
     width: 960px;
-    margin-bottom: 45px;
+    margin-bottom: 20px;
 }
 
 #cta-container  td {
@@ -379,6 +379,14 @@ ul.menubar-container > li ul li {
 { text-decoration: underline;
 }
 
+#cta-github
+{ margin-left: auto;
+  margin-right: auto;
+  text-align: center;
+  width: 960px;
+  margin-bottom: 20px;
+}
+
 #enhanced-search-container {
     clear: both;
     width: 100%;