/* General
-------------------------------------------------- */
.border-bottom {
	border-bottom: 1px solid #333;
	margin-top: 30px;
	font-size: 25px;
}
.border-bottom.first {
	margin-top: inherit;
}

h3.paper {
	margin-bottom: 0;
	display: inline;
	font-size: 18px;
	font-weight: 600;
	color: black
}

h3.comment {
	margin-bottom: 0;
	display: inline;
	font-size: 16px;
	color: black;	
	font-style: italic;
}

.text-justify {
	text-align: justify;
	margin-bottom: 20px;
	margin-top: 4px;
}

a.glyphicon {
	color: #333;
}
a.glyphicon:hover {
	text-decoration: none;
}

a:hover {
	color: #000;
}

.coauthor{
	font-size: 16px;
	font-style: italic;
	margin-bottom: 0cm;
}

.relevant{
	font-size: 18px;
	font-style: italic;
}



/* Navigation
-------------------------------------------------- */
#navigation {
	position: fixed;
	width: 100%;
	text-align: center;
	height: 50px;
}
#navigation button {
	border-top-left-radius: 0;
	border-top-right-radius: 0;
	border-top: 0;
	box-shadow: 1px 0 3px rgba(120, 120, 120, 0.3);
}


/* Header
-------------------------------------------------- */
.header img {
	margin-left: 30px;
}

.header h1 {
	font-size: 50px;
	margin-top: 40px;
}

.header h4 {
	margin-top: 20px;
	font-style: italic;
	font-size: 16px;
}
.jumbotron {
	padding: 30px 0;
}
.header > .container > div {
	padding-right: 190px;
}

@media (max-width: 600px) {
	.header img {
		margin: 0 !important;
		clear: both !important;
		float: none !important;
	}
	.header {
		text-align: center !important;
	}
	.header > .container > div {
		padding: 0;
	}
}

@media (min-width: 601px) {
	.header .container {
		text-align: right;
	}
}

/* Contacts
-------------------------------------------------- */

.contact {
font-size: 16px;
}