/*

Default stylesheet, for displaying on handheld and tv devices.
Written by Moreno Marzolla, 2008
Last updated: 2008-09-14

This file is released in the Public Domain.

This stylesheet *must* be applied after "layout-screen", since it
inherits definitions from there.

*/

body {
        background-image: none !important;
	margin-left: 5px;
        margin-right: 5px;
        width: auto;
}

h1 {
	padding: 2px;
        margin: 5px 0;
        border: none;
	font-size: 120%;
}

h2 {
	padding: 2px;
        margin: 3px 0 5px 0;
        border: none;
	font-size: 110%;
}

h3 {
   font-size: 105%;
}

/* Reduce margins for lists */
ul { 
     margin-left: 1ex; 
     padding-left: 1ex;
}
dd { 
     margin-left: 1ex;
 }
#locationbar {
 display: none;
}
/* The top navigation bar */
ul#menubar li { 
	padding-right: 1ex;
}
#navbar {
        border: none;
        font-size: inherit;
	padding: 0;
	line-height: 200%;
}
#navbar a[href] { 
        padding: .5ex 4px;
}
#navbar a[href]:hover { 
	border-bottom: 0;
	margin: 0;
	padding: .5ex 4px;
}
/* The bottom text, saying when the page was last updated */
#lastupdated {
	padding: 2px;
	font-size: 80%;
	font-style: italic;
}
.links a[href] { 
        margin: 0;
}
#iconbar, #logobar, .singleright, .doubleright, #short_movie {
        display: none; /* Does not prevent contained images to be loaded by Nokia E51 browser :-( */
}
div.bibitems { 
        background-color: transparent !important;
        color: #000 !important;
        border: none;
        margin: 0; 
        padding: 0;
}
div.bibitems h3 {
        /* width: auto;  */
        height: auto;
        color: #000 !important;
        letter-spacing: normal;
        margin: 0 0 1ex 0; 
        padding: 0;
        text-align: left;
}
.doi {
        padding: 0;
}
ul.bibitems {
        margin: 0 0 1ex 0;
}
ul.bibitems li {
        padding: 5px 10px;
        border: none;
	margin: 3px 0;
}
ul.bibitems li img {
    display: none;
}
a[href].restricted,
a[href].pdf,
a[href].ps,
a[href].openofficeorg,
a[href].txt,
a[href].html { 
        background-image: none !important;
        padding: 0 !important;
}
/* Code fragments */
div.code {
         padding: 2px;
         margin: 5px 0;
}
.hidden { 
        display: inline;
}
/*
 * Stuff used in the teaching pages 
 */
.lastnew {
        font-size: inherit;
}
div.news {
        padding: 0 2px 1px 2px;
        border-width: 1px;
}
/*
 * The following two definitions are used for boxes with a label on the
 * border. You use them as follows:
 * 
 * ...
 * <div class="approf">
 * <span class="applabel">To learn more</span>
 * blah blah blah
 * </div>
 */
div.approf {
        margin: 1ex 0;
        padding: 3px;
        border: none;
}
.applabel {
        position: static;
        padding: 0 1ex;
        margin: 0 0 .5ex 0;
}
li.important {
	padding: 2px 0 0 0;
        border: none;
}
/* Linearize tables */
table, tbody, tr, th, caption {
  display: block;
}
table.center, table.center caption {
  margin-left: 0;
  margin-right: 0;
}
td {
  display: inline;
}
div.twopics, div.onepic {
  margin-top: 2px;
  margin-bottom: 2px;
}
div.twopics div.pic,
div.onepic div.pic {
  float: none;
  width: auto;
  text-align: center;
}
div.pic img {
  width: 90%;
  height: auto;
  max-width: 100%;
}
.clearboth {
  clear: none;
  margin-bottom: 0;
}
/*
 * Stuff used in the about page
 */
#about_img {
  width: 100%;
  text-align: center;
}
#about_img a {
  margin: 0;
}
#about_img img {
  width: 80%;
  margin: 0;
}

/*
 * Stuff used in the index page
 */
.float_left,
.float_right {
             float: none;
             display: block;
             margin: 3px 0;
}
#front_news {
 clear: both;
 float: none;
 width: 100%;
 padding: .5ex;
}
#col_content {
 margin-right: 0;
}
#col_small, 
#col_large { 
 float: none;
 padding: 0;
 width: 100%;
 background-image: none;
 background-repeat: no-repeat;
 background-color: transparent;
}
#copyright { 
border-top: 1px solid black;
border-bottom: 1px solid black;
padding: .5ex 0; 
}
/* Trenitalia */
table#trenitalia th { 
  text-align: left;
}
table#trenitalia {
  padding: 2px;
}
input#stazin, input#stazout {
  width: 90%;
}
input#btn_dx, input#btn_dx {
  margin-left: 2px;
  margin-right: 2px;
}