body {
  margin : 0;
  padding : 5%;
	font-size: 10pt; 
}


#navbar {
position: fixed;
top: 0;
bottom: 0; 
left: 0;
padding-left: 0;
width: 175px; /*Width of frame div*/
height: 100%;
}


#publications {
position: fixed;
top: 0px; 
left: 175px; /*Set left value to WidthOfFrameDiv*/
right: 0;
bottom: 0;
padding-top: 0; /* Set to match top of the nav bar buttons*/
padding-right: 0;
background:  url("Images/pub_bkgr.jpg") no-repeat;
font-family: helvetica;
}

.innertube{
margin-top: 10px;
margin-left: 15px; /*Margins for inner DIV inside each DIV (to provide padding)*/
margin-right: 20px;
}

.footer{
	clear: both;
	text-align: center;
}


img.logo {
	width: 162px;
	height: 33px;
}

img.buttons {
	width: 119px;
	height: 216px;
}


p {line-height: 140%;}
h3 {color: #42459D;}
li {padding: 3px;}

a::after {
  content: " (" attr(href) ") ";
  font-size: 90%;
}