/* Reset all the annoying browser defaults */
* { margin: 0px; padding: 0px; }
+html, body
+{
+ height: 100%;
+}
+
/* Main body tag */
body
{
{
font-size: 14px;
}
+
+/*******************************************************************/
+/* Navigation */
+/*******************************************************************/
+
+/* Creates the navigation bar */
+#nav
+{
+ border-width: 0px 4px 0px 0px;
+ border-color: rgb(109, 187, 45);
+ border-style: solid;
+
+ position: absolute;
+ top: 0px;
+ bottom: 0px;
+ left: 0px;
+ z-index: 100;
+
+ width: 250px;
+ height: 100%;
+
+ background-color: rgb(64, 64, 64);
+}
+
+/* Adjust the body div if there's a navigation bar */
+#nav + #body, #nav + #title + #body, #nav + #title
+{
+ position: fixed;
+ top: 0px;
+ bottom: 0px;
+ left: 250px;
+ right: 0px;
+
+ overflow: auto;
+}
+
+/* With a title and navigation bar, we need to move body content down a little */
+#nav + #title + #body
+{
+ top: 40px;
+}