/*
 * Ryan Flannery
 * http://www.sapiosoft.com
 * ryan.flannery@gmail.com
 * css/styles.css
 * Site-wide style sheet
 */


/*** Default Styles *********************************************************/
body {
   margin: 0;
   padding: 0;
   background-color: #161410;

   font-family: Georgia;
   font-size: 10pt;
   color: #ddd;
}

a, a:visited {
  text-decoration: none;
   color: #dddd00;
}
a:hover { color: #cc0000; }


p { margin: 1em; }
h1, h2, h3, h4, h5, h6 {
   font-family: Georgia;
   font-weight: lighter;
   color: #bd934f;
   margin-bottom: 0;
}
h1 { font-size: 200%; }
h2 { font-size: 166%; margin-top: 1em; }
h3 { font-size: 133%; margin-top: 0.75em; }
h4 { font-size: 110%; margin-top: 0.5em; }

/* list related items */
ul { list-style-type: square; }
dl { margin: 0; padding: 0; margin-bottom: 20px; }
dt {
   font-family: Georgia;
   font-weight: lighter;
   color: #bd934f;
   margin-top: 1em;
}
dd { padding: 0.5em; margin: 0; }
li { margin-bottom: 0.5em; }


pre.term {
   background-color: #000000;
   border: 1px solid #00ff00;
   font-size: 85%;
}


/* lambda link */
#lambda {
   position: fixed;
   left: 5px;
   bottom: 5px;

   font-family: Georgia;
   font-weight: lighter;
   font-size: 22pt;
}
#lambda img { border-width: 0px; vertical-align: middle; }

/* left-sidebar with navigation links */
#leftnav {
   position: fixed;
   left: 0px;
   top: 20px;
   width: 175px;

   padding: 0.5em;
   border: 1px solid #00ff00;
   border-left-width: 0px;

   font-family: courier;
   background-color: black;
}
#leftnav ul { margin: 0.5em; padding: 0.5em; padding-top: 0em; }
#leftnav li { padding-top: 0px; margin-bottom: 0px; }
#leftnav img { border-width: 0px; }
#leftnav a, #leftnav a:visited { color: #0000ff; }
#leftnav a:hover { color: #ff0000; }
#leftnav a.link, #leftnav a.link:visited { color: #ff00ff; }
#leftnav a.link:hover { color: #ff0000; }

/* main content block */
#main
{  width: 700px;
   margin-left: 190px;
   padding: 1em;
}