/*

Default stylesheet, for displaying on computer screen. 
Written by Moreno Marzolla, 2003
Last updated: 2008-09-14

This file is released in the Public Domain.

*/

body {
	background-color: #ffffff;
	color: #000000;
	background-image: url("http://www.moreno.marzolla.name/images/dune-winter");
	background-attachment: fixed;
	background-position: bottom left;
	background-repeat: no-repeat;
}
h1, h2 {
	background-color: #00ffff;
	color: #000000;
	border-color: #00bec1;
}

:link { 
	color: #00c;
	background-color: transparent;
}

:visited { 
	color: #609;
	background-color: transparent;
}

a[href]:active { 
	color: #00c;
	background-color: transparent;
}

a[href].internal:hover {
	background-color: #ffa;
	color: #00c;
}

a[href].external:hover {
	background-color: #80ee80;
	color: #00c;
}

a[href].restricted,
a[href].pdf,
a[href].ps,
a[href].openofficeorg,
a[href].html,
a[href].txt {
        padding-left: 18px;
        background-position: center left;
        background-repeat: no-repeat; 
}

a[href].broken {
	text-decoration: line-through;
}

a[href].pdf {
        background-image: url("http://www.moreno.marzolla.name/icons/pdf.png");
}

a[href].ps {
        background-image: url("http://www.moreno.marzolla.name/icons/postscript.png");
}

a[href].openofficeorg {
        background-image: url("http://www.moreno.marzolla.name/icons/soffice.png");
}

a[href].txt {
        background-image: url("http://www.moreno.marzolla.name/icons/txt.png");
}

a[href].html {
        background-image: url("http://www.moreno.marzolla.name/icons/html.png");
}
a[href].restricted {
        background-image: url("http://www.moreno.marzolla.name/icons/lock.png");
}
/* The top location bar */
#locationbar {
        background-color: #00ffff;
        color: #808080;
}
/* The top navigation bar */
#navbar {
	border-bottom-color: #000080;
        background-color: #bebebe;
        color: #000000;
}
#navbar a[href]:hover { 
	border-bottom-color: #000080;
}
#iconbar a[href] {
	background-color: transparent;
}
/* The bottom text, saying when the page was last updated */
#lastupdated {
	border-top-color: #000000;
}
td.category {
	background-color: #808080;
	color: #ffffff;
}

td.entries {
	background-color: #00ffff;
	color: #000000;
}

td.category a[href] {
	color: #ffffff;
        background-color: transparent;
}

#iconbar {
	background-color: #808080;
	color: #000000;
}

/* Bibliography items */
div.bibitems {
        background-color: #808080;
}

div.bibitems h3 {
        color: #ffffff;
        background-color: transparent;
}

ul.bibitems li {
        background-color: #00ffff;
        border-color: #808080;
}

.doi {
        background-color: blue;
        color: white;
}
/* Highlighted indicator for new content */
.new {
        color: #ff0000; /* red */
        background-color: #ffff00; /* yellow */
}
.old {
 color: gray;
}
/* Code fragments */
div.code {
         background-color: #000;
         color: #9ACD32;
}

/*
 * Stuff used in the teaching pages 
 */
div.news {
        border-color: #000080;
        background-color: #00ffff;
        color: #000000;
}
div.news h2 {
        color: #000080;
        background-color: transparent;
}
div.news dt {
	color: #000080;
        background-color: transparent;
}
dl.syl dt {
        background-color: transparent;
        color: #000080;
        border-top-color: #000080;
}
table {
        border-color: #000080;
} 
table th {
        background-color: #00ffff;
        color: #000000;
}
div.approf {
        border-color: #000080;
        background-color: #00ffff;
        color: #000000;
}
.applabel {
        background-color: #000080;
        color: #ffffff;
}

li.important {
	border-left-color: #000080;
	background-color: #bebebe;
}

dl.calentry dt {
        background-color: #808080;
        color: #ffffff;
}

dl.calentry dd {
        background-color: #00ffff;
        border-left-color: #000080;
        border-top-color: #000080;
        color: #000000; 
}
/* This is used in the ffss.php page */
table#trenitalia,
table#acrogen {
        background-color: #00ffff;
}
/* This is used in the front page */
#col_large { 
        background-image: url("http://www.moreno.marzolla.name/icons/front-sidebar-winter.png");
        background-repeat: repeat-y;
        background-position: right;
}
#front_news {
        background-color: #00ffff;
        border-color: #000080;
}