assorted formatting tweaks

rwaldron · Jan 5, 2011 · 86e0d75 · 86e0d75
1 parent 8d6dbe5
commit 86e0d75
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 4 deletions.
diff --git a/anno.js b/anno.js
@@ -168,4 +168,4 @@ document.addEventListener("keyup", function (e) {
     annoPanel = null;
   }
 }, true);
-window.addEventListener('load', annotateToc, false);
+annotateToc();
diff --git a/style.css b/style.css
@@ -169,7 +169,13 @@ b.other {
 #toc,
 #toc-full {
   margin-top: 36px;
-  line-height: 80%
+}
+#toc li,
+#toc-full li {
+  white-space: nowrap;
+  text-overflow: ellipsis;
+  overflow:hidden;
+  line-height: 18px;
 }
 /* note that ES5 source does not use monospace for symbols */
 .symbol {

diff --git a/timestamp.js b/timestamp.js
@@ -6,7 +6,7 @@ function addTimestamp() {
   document.body.appendChild(script);
   document.getElementById("timestamp").appendChild(link);
   window.jsonp = function (data) {
-    link.textContent = "Last updated: " + data.repository.pushed_at.substring(0, 10);
+    link.textContent = "Last\u00A0updated:\u00A0" + data.repository.pushed_at.substring(0, 10);
   };
 }
-window.addEventListener('load', addTimestamp(), false);
+addTimestamp();