/*

Layout

*/
body {
	width: 80%;
	margin-left: 10%;
        margin-right: 10%;
 	text-align: justify;	
}
h1 {
	margin: 10px 0px;
	display: block;
	padding: 6px;
	text-align: center;
	border: thin solid;
}
#col_content > h1 { 
        margin-top: 0;
}
h2 {
	margin: 20px 0px 10px 0px;
	display: block;
	padding: 4px 4px 4px 1em;
	text-align: left;
	border: thin solid;
}
.clearboth {
        clear: both;
}

/* The top location bar */
#locationbar {
        text-align: left;
        padding: 2px;
        font-size: 80%;
}
/* The top navigation bar */
#navbar {
        text-align: center;
        display: block;
	padding: 2px 0;
        border-bottom: 1px solid; 
	line-height: 190%;  
}

/* Links inside a navigation bar */
#navbar a[href] {
        padding-left: 4px;
        padding-right: 4px;
	text-decoration: none;
        white-space: nowrap;
} 

/* Paragraph inside a navigation bar */
#navbar p {
        margin-top: 0px;
        margin-bottom: 0px;
}
/* Inner navigation bar */
#inner_navbar {
        text-align: left;
}
/* The bottom text, saying when the page was last updated */
#lastupdated {
	margin-top: 4px;
	padding: 4px;
	border-top: thin solid;
}

/* A list of links. Lines are slightly more spaced apart for readability */
.links {
        text-align: center;
} 
.links a[href] { 
        margin: 0 10pt;
}

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

td.entries {
	vertical-align: top;
}

#iconbar {
        margin-top: 3ex;
	padding: 2px;
}

/* Images inside an iconbar should be slightly spaced */
#iconbar img {
	margin-right: 4px;
        border: 0px;
}

/* Bibliography items */
div.bibitems {
        padding: .5ex .5ex .5ex 10em;
        margin: .5ex 0;
}

div.bibitems h3 {
        border: none;
        width: 7em;
        height: 0px; /* pretend the height is zero */
        margin: 0 0 0 -8em;
        text-align: right;
}

div.bibitems h4 {
        margin: 0;
}

div.bibitems ul {
        list-style-type: none;
        display: block;  
        padding: 0;
        margin-top: 0;
        margin-bottom: 0;
}

div.bibitems ul li {
        padding: 5px 10px;
        border: 1px solid;
	margin-top: 1.5ex;
	margin-bottom: 1.5ex;
}
.doi {
 padding: 1px 4px;
}

/* Highlighted indicator for new content */
span.new {
        padding: 2px;
}

/* Hidden content, used for accessibility purposes */
.hidden {
        display: none;
}

/* Code fragments */
div.code {
         margin: 1ex 0;
         padding: 0.5ex 1ex;
}

div.code .samp {
	 border-left: 1ex solid gray;
	 padding-left: 2ex;
}
table.center, table.center caption { 
        /* "caption" needed to work around a bug in Firefox */
        margin-left: auto;
        margin-right: auto; 
}

/*
 * Stuff used in the teaching pages 
 */
div.news {
        border: medium solid;
        padding: 0px 30px 10px 30px; 
}
div.news h2 {
        text-align: center;
        border: none;
        padding: 0px;
}
dl.syl dt {
        padding: 3px;
        border-top: thin solid;
}
dl.syl dd {
        margin-bottom: 15px; 
}
table {
        border: thin solid;
} 
table th {
        text-align: center;
}

div.approf {
        margin: 2ex 0;
        border: thin solid;
        padding: 1ex;
}
.applabel {
        margin-left: 1.5ex;
        position: relative;
        top: -1.5ex;
        padding: 2px 1ex 2px 1ex;
}

li.important {
	padding: 2px 2px 2px 5px;
	border-left: solid 5px;
        margin-top: 2px;
        margin-bottom: 2px;
}

/* Stuff used in the planning */
dl.calentry {
        margin: 0 0 0 0;
}

dl.calentry dt {
        width: 5em;
        padding: 0.2em;
}

dl.calentry dd {
        width: 5em;
        display: block;
        padding: 0.1em;
        min-height: 3.7em; 
        border-left: 1px solid;
        border-top: 1px solid;
        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%;
        height: auto;
}

/*
 * Stuff used in the index page
 */
#twocol {
          margin-top: 10px;
}
#col_small {
	float: right;
	width: 192px;
}
#col_large {
        width: 100%;
        float: left;
        margin-right: -200px;
}
#col_content { 
        margin-right: 200px;
}
.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;
}
#logobar img {
        border: 0;
}
/* "news" box on front page */
#front_news {
        padding: .5ex 1ex;
        /*border: 1px solid; */
}
#front_news h3 {
	text-align: center;
        margin-top: .5ex;
        margin-bottom: .5ex;
}
/*
 * Used in the about page
 */
#about_img {
             text-align: center;
             }
#about_img a { 
               margin: 0 0.5ex;
               }
#copyright { 
    border-top: 1px solid black;
    border-bottom: 1px solid black;
    padding: 1ex 2ex;
}
.learnmore {
  padding: .3ex 0;
  text-align: left;
}
/* Single image, flush right */
.singleright { 
               width: 20%;
               float: right;
               margin: 0 0 2ex 2ex;
}
.singleright img {
                width: 100%;
}
/* Double image, flush right */
.doubleright { 
               width: 40%;
               float: right;
               margin: 0 0 2ex 2ex;
               }
.doubleright img { 
                   margin: 0;
                   width: 49%;
}
#short_movie { 
width: 320px; float: right; margin: 0 0 2ex 2ex;
}
/* trenitalia page */
table#trenitalia th {
    text-align: left;
}
table#trenitalia {
    padding: 2ex;
}
input#btn_sx { 
  margin-right: 2ex;
}
input#btn_dx {
  margin-left: 2ex;
}