Updating to Bootstrap v.2.0.2

Aqua-Ye · Mar 28, 2012 · 9d7e3bb · 9d7e3bb
1 parent c0b9362
commit 9d7e3bb
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/resources/style.css b/resources/style.css
@@ -32,6 +32,7 @@
   color: #0BC;
 }
 pre {
+  color: white !important;
   display: block !important;
   white-space: pre !important;
   font-family: monospace !important;

diff --git a/src/webshell.opa b/src/webshell.opa
@@ -3,7 +3,7 @@
 // author: Henri Binsztok
 // author: Adam Koprowski (adding Facebook-connectivity)
 
-import stdlib.themes.bootstrap.v1.4.0
+import stdlib.themes.bootstrap
 import stdlib.widgets.bootstrap
 
 WB = WBootstrap
@@ -79,11 +79,12 @@ function login_box() {
 
 function page() {
   topbar =
-    WB.Navigation.topbar(
+    WB.Navigation.fixed_navbar(
       WB.Layout.fixed(
         WB.Navigation.brand(<>webshell</>, none, ignore) <+>
         {login_box()}
-      )
+      ),
+      {top}
     )
   html = WB.Layout.fixed(
     <div id="terminal">