# HG changeset patch
# User Chris Cannam
# Date 1403527544 -3600
# Node ID 16bcb88b430acf7e626d1e716493c9c741dfcf82
# Parent  e43e2f72254a3d42f9179bf6f7c8fdc30e98d968
A lot of layout fixing for plugin list embedded in page

diff -r e43e2f72254a -r 16bcb88b430a bits.js
--- a/bits.js	Sun Jun 22 13:25:59 2014 +0100
+++ b/bits.js	Mon Jun 23 13:45:44 2014 +0100
@@ -2,7 +2,7 @@
 function togglePlugin(id) {
     var e = document.getElementById('plugs-' + id);
     var b = document.getElementById('plugs-showhide-' + id);
-    if (e.style.display == 'block') {
+    if (window.getComputedStyle(e).display != 'none') {
 	e.style.display = 'none';
 	b.innerHTML = '▶ More';
     } else {
diff -r e43e2f72254a -r 16bcb88b430a screen.css
--- a/screen.css	Sun Jun 22 13:25:59 2014 +0100
+++ b/screen.css	Mon Jun 23 13:45:44 2014 +0100
@@ -26,6 +26,8 @@
   padding-left: 2em;
   padding-right: 2em;
   color: #303030;
+  font-style: normal;
+  font-family: 'Lucida Sans Unicode', 'Lucida Grande', sans-serif;
 }
 p,td,ul,ol,li,blockquote { 
     font-size: 0.95em;
@@ -114,10 +116,17 @@
 .toc4 { 
   padding-left: 6em;
 }
+
 .pluginlist {
-    width: 80%;
-    margin-left: 10%;
-    margin-right: 10%;
+    width: 100%;
+    margin-left: 0%;
+    margin-right: 0%;
+    clear: both;
+}
+
+.pluginlist > ul {
+    padding-left: 4%;
+    padding-right: 5%;
 }
 
 .library {
@@ -136,6 +145,15 @@
     border-style: solid;
 }
 
+.library:last-child {
+    border-bottom-width: 2px;
+}
+
+.plugins {
+    padding-top: 1em;
+    padding-left: 0;
+}
+
 .plugins li, .library li {
     padding-bottom: 0.5em;
 }
@@ -148,7 +166,7 @@
     background: #f8f8f8;
 }
 
-li {
+.pluginlist li {
     list-style-type: none; 
 }
 
@@ -201,6 +219,17 @@
     margin-top: 1em;
 }
 
+.library-notes {
+    float: left;
+    width: 24%;
+}
+
+.library-main {
+    float: right;
+    width: 71%;
+    padding-right: 2%;
+}
+
 .library-name {
     font-size: 1.2em;
     font-weight: bold;
@@ -211,24 +240,9 @@
 }
 
 .library-description {
-    float: right;
-    width: 64%;
-    margin-right: 10%;
 }
 
 .plugs-showhide {
-    clear: right;
-    float: right;
-    width: 64%;
-    margin-right: 10%;
-}
-
-.plugins {
-    float: right;
-    clear: right;
-    width: 72%;
-    margin-right: 2%;
-    padding-top: 1em;
 }
 
 .default-hidden {
@@ -255,3 +269,44 @@
     color: #505050;
     font-style: italic;
 }
+
+.search-form {
+    float: left;
+    padding-left: 4%;
+    font-size: 0.95em;
+}
+
+.platform-selector {
+    float: right;
+    margin-top: 3px;
+    margin-bottom: 2em;
+    padding-right: 5%;
+    font-size: 0.8em;
+}
+
+.platform-button {
+    border-style: solid;
+    padding: 0.3em;
+    margin: 0px;
+    border-left-width: 0px;
+    border-right-width: 1px;
+    border-top-width: 1px;
+    border-bottom-width: 1px;
+    border-radius: 0px;
+    box-shadow: 0px 2px 0 0 #ef6a35;
+    border-color: #ef6a35;
+}
+
+.platform-button:first-child {
+    border-left-width: 1px;
+    margin-left: 0.6em;
+}
+
+.platform-button a {
+    color: #505050;
+}
+
+.platform-current, .platform-button:hover, .platform-button:hover a {
+    background-color: #ef6a35;
+    color: #fff;
+}