
body {
	margin-left: 15px;
}

#logo {
	float: left;
	margin-right: 15px;
}

#headerText {
	padding-top: 15px;
}

#menu {
	clear: both;
}

#menu, #search, #searchInfo, #aggregate {
	margin-bottom: 10px;
}

#searchInfo {
	margin-top: 10px;
}

#publicationsList {
	width: 80%;
}
