/* Default background color and font for all styles */

*
{
	color: rgb(0, 0, 153);
	font-family: Arial;
}

/* Anchors */

a
{
	color: blue;
	text-decoration: none;
}
a:hover
{
	text-decoration: underline;
}
a.a-area
{
	font-style: italic;
}

/* Body */

body
{
	background-color: rgb(255, 255, 247);
}
body.body-white
{
	background-color: rgb(255, 255, 247);
	color: rgb(0, 0, 0);
}

/* Divisions */

div
{
	text-align: left;
}
div.div-lower
{
	font-style: italic;
	padding-top: 20px;
}
div.div-math-cs, div.div-photo
{
	margin-bottom: 0;
	margin-left: 4em;
	margin-top: 4px;
}

/* Headings */

h1
{
	text-align: center;
}

/* Horizontal ruler */

hr
{
	height: 2px;
	width: 100%;
}

/* Lists */

li.li-area, li.li-expert, li.li-journal-type
{
	color: rgb(0, 153, 0);
}
li.li-heading
{
	font-style: italic;
	padding-top: 0.4cm;
	border-bottom: 0.4cm;
}
li.li-normal
{
	font-style: normal;
}

/* Paragraphs */

p
{
	text-align: left;
}
p.p-bold, p.p-role
{
	font-weight: bold;
}
p.p-last-update
{
	font-style: italic;
	text-align: right;
}

/* Text */

span.span-italics, span.span-conf-workshop, span.span-document, span.span-group, span.span-journal, span.span-panel, span.span-session
{
	font-style: italic;
}
span.span-specialty
{
	color: rgb(0, 153, 0);
}

/* Tables */

table
{
	background-color: rgb(255, 252, 255);
	margin-left: auto;
	margin-right: auto;
	text-align: left;
}
td.td-table0
{
	text-align: center;
	vertical-align: center;
}
td.td-table1-center
{
	vertical-align: center;
	width: 16em;
}
td.td-table1-top
{
	vertical-align: top;
	width: 16em;
}
td.td-table2-col1-year1
{
	background-color: rgb(204, 204, 255);
	width: 12.8em;
}
td.td-table2-col1-year2
{
	background-color: rgb(210, 255, 210);
	width: 12.8em;
}
td.td-table2-col2-year1
{
	background-color: rgb(255, 252, 255);
	text-align: right;
	width: 8em;
}
td.td-table2-col2-year2
{
	background-color: rgb(255, 252, 255);
	text-align: right;
	width: 8em;
}
tr.tr-table0
{
	height: 300px;
}

/* Lists */

ul
{
	text-align: left;
}
ul.ul-plain
{
	list-style-type: none;
	padding-bottom: 0;
	padding-left: 10px;
	padding-right: 10px;
	padding-top: 0;
	margin: 0;
}