Did you know ... Search Documentation:
GIT commit info
Styling
authorJan Wielemaker
Sun May 21 17:38:17 2017 +0200
committerJan Wielemaker
Sun May 21 17:38:17 2017 +0200
commit31cd8017d228808aac07d6ac8a1af6f139c1030b
treecea12c23761691d95433b5f8c79b81cf602980fb
parent369ff3741a19aa492f7a8a3997a50d50f796577d
Diff style: patch stat
diff --git a/css/plweb.css b/css/plweb.css
index bd1b180..58cd576 100644
--- a/css/plweb.css
+++ b/css/plweb.css
@@ -115,10 +115,6 @@ span.acmatch
 { background-color: #bbf;
 }
 
-#search-container
-{ padding-right: 0.5em;
-}
-
 li.ui-menu-item
 { font-size: initial;
   font-family: Source Sans Pro, sans;
diff --git a/css/swipl.css b/css/swipl.css
index 8e856e1..7e689a7 100644
--- a/css/swipl.css
+++ b/css/swipl.css
@@ -167,13 +167,14 @@ span.tagline {
 }
 
 .menubar-container {
-  /*  padding: 0 20px 0 20px;   */
-  padding: 0;
- border-right: 2px solid #d57719;
-  border-radius: 5px;
+    padding: 0;
+    border-right: 2px solid #d57719;
+    border-radius: 5px;
+    text-align: center;
 }
 
 .menubar-container > li {
+    text-align: left;
     height: 36px;
     display: inline;
     color: #FFF;
@@ -183,6 +184,10 @@ span.tagline {
     font-weight: 700;
 }
 
+.menubar-container > li:first-child {
+    border-left: 0px;
+}
+
 .menubar-container > li > a:link {
     color: #FFF;
     text-decoration: none;
@@ -294,7 +299,7 @@ span.tagline {
 }
 
 .contents
-{ margin: 20px 30px 45px 30px;
+{ margin: 20px 0px 45px 0px;
   background-color: #f6f5ee;
   padding: 20px 27px;
 }
@@ -305,6 +310,7 @@ span.tagline {
   margin-right: auto;
   width: 960px;
   height: 1000px;
+  box-sizing: border-box;
 }
 
 /* overrule above.  This is handled by PlDoc itself */
@@ -315,6 +321,17 @@ span.tagline {
   background-color: inherit;
 }
 
+.contents.pldoc div.navcontent
+{ margin-left: 17em;
+  margin-right: 0px;
+}
+
+.contents.pldoc div.navtree
+{ margin-left: 0px;
+  width: 16em;
+}
+
+
 #blurb {
     margin-left: auto;
     margin-right: auto;
@@ -322,10 +339,7 @@ span.tagline {
 }
 
 #blurb div {
-    margin-left: 30px;
-    margin-right: 30px;
-    margin-top: 45px;
-    margin-bottom: 45px;
+    margin: 45px 0px;
     background-color: #FFF;
     padding: 25px 27px;
     font-size: 20pt;
@@ -336,19 +350,15 @@ span.tagline {
     margin-left: auto;
     margin-right: auto;
     width: 960px;
+    margin-bottom: 45px;
 }
 
-#cta-container  div {
-    width: 270px;
+#cta-container  td {
+    width: 33%;
     font-family: Fauna One, sans;
     font-size: 18pt;
-    padding-top: 22px;
-    padding-bottom: 22px;
-    text-align: center;
+    padding: 0px;
     vertical-align: middle;
-    padding-left: 25px;
-    padding-right: 25px;
-    float: left;
     color: #0a3d6c;
 }