/*

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: #fafad2;
	color: #8b4513;
	background-image: url("http://www.moreno.marzolla.name/images/dune-summer.png");
	background-attachment: fixed;
	background-position: bottom left;
	background-repeat: no-repeat;
}
h1, h2 {
	background-color: #eee8aa;
	color: #8b4513;
	border-color: #daa520;
}

: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: #eee8aa;
        color: #daa520;
}
/* The top navigation bar */
#navbar {
	border-bottom-color: #b8860b;
        background-color: #eedc82;
        color: #8b4513;
}

#iconbar a[href] {
    background-color: transparent;
}

/* Paragraph inside a navigation bar */
#navbar p {
        margin-top: 0px;
        margin-bottom: 0px;
}
/* The bottom text, saying when the page was last updated */
#lastupdated {
	border-top-color: #8b4513;
}

td.category {
	background-color: #daa520;
	color: #fafad2;
}

td.entries {
	background-color: #eee8aa;
	color: #8b4513;
}

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

#iconbar {
	background-color: #daa520;
	color: #8b4513;
}

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

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

div.bibitems ul li {
        background-color: #eee8aa;
        border-color: #daa520;
}

.doi {
        background-color: blue;
        color: white;
}
/* Highlighted indicator for new content */
span.new {
        color: #ff0000; /* red */
        background-color: #ffff00; /* yellow */
}

/* Code fragments */
div.code {
         background-color: #000;
         color: #9ACD32;
}

/*
 * Stuff used in the teaching pages 
 */
div.news {
        border-color: #b8860b;
        background-color: #eee8aa;
        color: #8b4513;
}
div.news h2 {
        color: #b8860b;
        background-color: transparent;
}
div.news dt {
	color: #b8860b;
        background-color: transparent;
}
dl.syl dt {
        background-color: transparent;
        color: #b8860b;
        border-top-color: #b8860b;
}
table {
        border-color: #b8860b;
} 
table th {
        background-color: #eee8aa;
        color: #8b4513;
}
div.approf {
        border-color: #b8860b;
        background-color: #eee8aa;
        color: #8b4513;
}
.applabel {
        background-color: #b8860b;
        color: #fafad2;
}

li.important {
	border-left-color: #b8860b;
	background-color: #eedc82;
}

dl.calentry dt {
        background-color: #daa520;
        color: #fafad2;
}

dl.calentry dd {
        background-color: #eee8aa;
        border-left-color: #b8860b;
        border-top-color: #b8860b;
        color: #8b4513; 
}
/* This is used in the ffss.php page */
table#trenitalia {
        background-color: #eee8aa;
}
/* This is used in the front page */
#col_large { 
        background-image: url("http://www.moreno.marzolla.name/icons/front-sidebar-summer.png");
        background-repeat: repeat-y;
        background-position: right;
}
#front_news {
        background-color: #eee8aa;
        border-color: #b8860b;
}