@import url(logo-layout.css);
@import url(logo-style.css);
@import url(menu-layout.css);
@import url(menu-style.css);
@import url(masterpage.css);

body.srcml li {
	padding-bottom : 5px;
}

a.doi {
    font-size : smaller;
    vertical-align : top;
}

body.publications div.page {
/*    line-height : 1; */
}

/* Header */
#header {
	width : 100%;
}

/* Content area inside of header and footer */
#content {
}

/* Menu inside of content area */
#menu {
	float : left;
	width : 15%; 
}

/* Page of content */
.page {
	float : right;
	width : 85%;
}

/* Footer */
#footer {
	clear : both;
}

h1, h2, h3, h3 a {
	color : #003366;
	text-decoration : none;
}

/* srcml examples */
pre.srcml {
	font-weight : bold;
	font-familty : monospace;
}

pre.srcml span.element {
	font-weight : normal;
	font-size : smaller;
	color : maroon;
	vertical-align : bottom;
}