#navigation a, #paperlist a {
  font-family:geneva, helvetica, sans-serif;
  font-weight:600;
  text-decoration:none;
}
#navigation a:link, #paperlist a:link{
  text-decoration:none;
}
#navigation a:visited, #paperlist a:visited {
  text-decoration:none;
}
#navigation a:hover, #paperlist a:hover {
  text-decoration: underline;
}
  

/******************* Navigation Bar *******************/
#navigation h2 {
  font-size: x-large;
  font-style: italic;
  font-family: times, serif;

  /*  underline the heading */
  border-style: solid;
  border-width: 0px 0px 1px 0px;
  border-color: #000000;
}

#navigation p {
  font-family: geneva, helvetica, sans-serif;
  padding: 0.5em 0em 0.5em 1em;
  text-align: left;
  text-justify: inter-character;
}


/*************** Two-column Page Layout ***************/
div#navigation {
	float: left;
	width: 15em;
}


div#paperlist {
	margin-left: 18em;
	/*padding: 1em;*/
}





/************ Paper Citation List Formatting **************/

#paperlist h3 {
	margin-bottom: 0.75em;
}

div.citation {
  padding-left: 2em;
  padding-right: 3em;
  padding-bottom: 2em;
}

div.paper_citation {
    padding-bottom: 0.3em;
}


/*********** Classes for hidden/visible boxes ***********/
.hidden { 
   display: none;
}

.unhidden { 
   display: block;
   border-style:solid;
   border-width: 1px;
   border-color: #999;
   padding:0px 1em 0px 1em;
   overflow: hidden;
   margin-top: 1px;
   margin-left: 0em;
   margin-right: 0em;
   margin-bottom: 0em;
   background-color: #eeeeee;
}


/*************** Paper button bar **************/

div.paper_buttonbar {
    white-space: nowrap;
    display: block;
}

div.paper_buttonbar_button {
}

div.paper_buttonbar_downloadlinks {
}


/************* Togglebuttons *******************/

a.togglebutton-up {
    background: transparent url('images/bg_button_a.gif') no-repeat scroll top right;
    color: #444;
    display: block;
    float: left;
    font: normal 10px arial, sans-serif;
    height: 14px;
    margin-right: 6px;
    padding-right: 7px; /* sliding doors padding */
    text-decoration: none;
}

a.togglebutton-up span {
    background: transparent url('images/bg_button_span.gif') no-repeat;
    display: block;
    line-height: 10px;
    padding: 2px 0 2px 18px;
} 

a.togglebutton-down {
    background: transparent url('images/bg_button_a.gif') no-repeat scroll bottom right;
    color: #000;
    display: block;
    float: left;
    font: normal 10px arial, sans-serif;
    height: 14px;
    margin-right: 6px;
    padding-right: 7px; /* sliding doors padding */
    text-decoration: none;
    background-position: bottom right;
    outline: none; /* hide dotted outline in Firefox */
}

a.togglebutton-down span {
    background: transparent url('images/bg_button_span.gif') no-repeat;
    display: block;
    line-height: 14px;
    background-position: bottom left;
    padding: 1px 0 3px 18px; /* push text down 1px */
}