/* 
 * style.css: contains all style elements that are shared by the mobile and desktop versions.
 * Author: Wouter van Toll
*/

body
{	
	/* always show vertical scrollbar, so the layout doesn't jump when content becomes too high */
	overflow-y: scroll;

	font-family: "Source Sans Pro", Helvetica, sans-serif;
	font-size: 12pt;
	line-height: 1.5em;
	color: #555555;
	
	text-align: justify;
}

p
{	
	margin-top: 0px;
	margin-bottom: 1.3em;
}

#nav
{
	font-family: 'Montserrat', Courier, sans-serif;
}

#website
{
	margin: 0;
	padding: 0;
}

#footer
{
	clear: both;
	width: 100%;
	margin: 0;
	
	font-family: 'Montserrat', Courier, sans-serif;
	font-size: 12pt;
	color: #999999;
}

#footer p
{
	margin: 0;
	padding: 0;
}

/* 
 * ============================================================
 * ============================================================
 * ============================================================
 */

/* section headers */
.title
{
	display: inline-block;
	
	background: #333333 url('p/bg_title.gif') no-repeat right top;
	
	padding: 10px 30px 10px 15px;
	font-family: 'Montserrat', Courier, sans-serif;
	color: #FFFFFF;
}

/* each publication starts on a new line */
.publication
{
	clear: both;
}

/* publication thumbnails have a fixed size and a colored border */
.publication img
{
	float: left;
	width: 100px;
	height: 100px;
	border: 3px solid #999999;
	margin: 8px 15px 15px 0;
}

.publication img.clickable:hover
{
	border: 3px solid #333333;
}

.video
{
	margin-bottom: 1.6em;
}

.code
{
	font-family: "Droid Sans Mono", Courier, monospace;
	font-size: 10pt;
}

ul, ol
{
	margin-top: -10px;
}

img
{
	border: 0px;
}

img.float_left
{
	margin-top: 5px;
	margin-right: 20px;
	margin-bottom: 10px;
}

.centered
{	
	display: block;
	margin-left: auto;
	margin-right: auto;
	margin-bottom: 1em;
}

.img_caption
{	
	color: #AAAAAA;
	text-align: center;
	font-size: 12pt;
}

.float_left
{	
	float: left;
}
.float_right
{	
	float: right;
}
.float_clear
{	
	clear: both;
}

/* 
 * ============================================================
 * ============================================================
 * ============================================================
 */

a
{	
	color: #AAAAAA;
	font-weight: bold;
	font-style: italic;
	text-decoration: none;
}
a:hover
{	
	text-decoration: underline;
}
a.regular
{	
	color: #000000;
	font-style: normal;
}
a.no_click:hover
{	
	text-decoration: none;
}

#nav a
{	
	color: #999999;
	font-weight: normal;
	font-style: normal;
}
#nav a:hover
{	
	text-decoration: none;
	color: #FFFFFF;
}
#nav a.active, #nav a.active:hover
{	
	color: #FFE000;
}