/*

Default stylesheet, for printing on B/W printers
Written by Moreno Marzolla
Last updated: 2008-09-07

This file is in the Public Domain.

*/

body {
	background-color: #ffffff;
	color: #000000;
        text-align: justify;
        margin: 0; 
        font-family: serif;
	font-size: 10pt;
}
h1 {
	margin: 10pt 0pt 10pt 0pt;
	display: block;
	padding: 6pt;
	text-align: center;
}
h2 {
	margin: 20pt 0pt 10pt 0pt;
	border-bottom: thin solid;
	text-align: left;
}
h3 { 
     border-bottom: thin dotted;
}
img {
        border: none;
}
.clearboth { 
            clear: both;
            }
a[href].broken {
	text-decoration: line-through;
}

/* Hide navigation elements */
#locationbar,
#navbar, 
#inner_navbar, 
#iconbar, 
.hidden, 
.navhelp, 
.learnmore, 
#short_movie,
.singleright,
.doubleright {
	display: none;
}
#copyright { 
    border: 1px solid black;
    padding: 0.5ex;
}

blockquote
{  
  text-align: right;
  margin-right: 0;
  margin-bottom: 0.5ex;
}
blockquote p { 
  margin-bottom: 0;
}
p.author
{ 
  margin-top: 0;
  text-align: right;
}

/* The bottom text, saying when the page was last updated */
#lastupdated {
	margin-top: 4pt;
	padding: 4pt;
	border-top: thin solid black;
	font-size: 80%;
	font-style: italic;
}

td.category {
	vertical-align: top;
	text-align: right;
}

td.entries {
	vertical-align: top;
}

div.code { 
           border: 1pt solid black;
           padding: 0.5ex 1ex;           
}
div.code .samp {
	 padding-left: 2ex;
	 border-left: 1ex solid gray;
}
ul.bibitems li { 
           padding-bottom: 2ex;
}
a[href] { 
         color: black;
         text-decoration: none;
}
/* Highlighted indicator for new content */
span.new {
        font-weight: bold;
        font-style: italic;
        padding: 2pt;
        border: thin solid;
}
table { 
        border: thin solid black;
}
table.center, table.center caption { 
    margin-left: auto;
    margin-right: auto;
}
/*
a.external[href]:after { 
    content: ' <' attr(href) '> ';
    color: #000;
}
*/

/* Stuff used in the teaching pages */
.lastnew {
        font-weight: bold;
        font-size: 120%;
}
div.news {
        border: medium solid;
        padding: 0pt 30pt 10pt 30pt; 
}
div.news h2 {
        text-align: center;
        background-color: transparent;
        font-weight: bold;
}
div.news dt {
	font-weight: bold;
}
dl.syl dt {
        background-color: transparent;
        font-weight: bold;
        padding: 3pt;
        border-top: thin solid;
}
dl.syl dd {
        margin-bottom: 15pt; 
}
table.exams th {
        text-align: center;
}

div.approf {
        margin: 2ex 0;
        border: thin solid black;
        padding: 1ex;
}
.applabel {
        margin-left: 1.5ex;
        position: relative;
        top: -1.5ex;
        padding: 2pt 1ex 2pt 1ex;
        color: #000;
        background-color: #fff;
        border: 1pt solid #000;
}

li.important {
	padding: 2px 2px 2px 5px;
	border-left: solid 5px #000000;
}

dl.calentry {
        margin-top: 0;
        margin-bottom: 0;
}

dl.calentry dt {
        font-weight: bold;
}
dl.calentry dd {
        display: block;
        padding: 0.1em;
        min-height: 2.2em; 
        border-left: 1px solid #000000;
        border-top: 1px solid #000000;
        margin-left: 0;
}

/* Pictures and images */
div.twopics, div.onepic {
        margin-top: 2ex;
        margin-bottom: 2ex;
}
div.twopics div.pic {
        float: left;
        width: 50%;
        text-align: center;
}
div.onepic div.pic {
        float: none;
        width: 100%;
        text-align: center;
}
div.pic img {
        max-width: 80%;
}
div.pic p {
        font-weight: bold;
}
abbr[title] {
        border-bottom: none;
}
/*
 * Stuff used in the index page
 */
.float_left {
             float: left;
             margin: 0 1em 1em 0;
             }
.float_right {
             float: right;
             margin: 0 0 1em 1em;
             }
#logobar {
           float: left; 
           width: 128px;
           margin-right: 10px;
           }
/*
 * Used in the about page
 */
#about_img {
             text-align: center;
             }
#about_img a { 
               margin: 0 0.5ex;
               }
/* "news" box on front page */
#front_news {
    float: none;
    margin-top: 2ex;
    clear: both;
}