/*

Typography.
Last updated: 2011-06-15

This file is released in the Public Domain.

*/

body {
        font-family: sans-serif;
        color: black;
        background-color: transparent;
        border: 0px solid #000000;
}

blockquote
{  
  font-size: 90%;
  font-style: italic;
}
p.author
{ 
  font-size: 85%;
}

div.news h2,
div.news dt,
dl.syl dt,
.applabel,
dl.calentry dt,
.lastnew,
div.code,
span.new,
div.bibitems h3,
cite.refereed,
#navbar,
div.pic p {
        font-weight: bold;
}

/* The top navigation bar */
#navbar {
        font-size: 110%;
}

/* Links inside a navigation bar */
#navbar a[href] {
	text-decoration: none;
} 

/* The bottom text, saying when the page was last updated */
#lastupdated {
	font-size: 80%;
	font-style: italic;
}

div.bibitems h3 {
        letter-spacing: -0.1pt;
        font-variant: small-caps;
}

div.bibitems h4 {
        margin: 0;
}

/* Highlighted indicator for new content */
span.new {
        font-style: italic;
}

/* Hidden content, used for accessibility purposes */
.hidden {
        display: none;
}

/* Code fragments */
div.code {
         font-family: monospace;
}

div.code kbd {
	 font-style: italic;
}
div.code kbd,
div.code samp {
	 white-space: pre-wrap;
}

/* Stuff used in the teaching pages */
.lastnew {
        font-size: 120%;
}
#copyright {
    font-style: italic;
    font-size: 95%;
}
.learnmore {
  font-weight: bold;
  font-size: 120%;
}
.small {
       font-size: 80%;
}
.large {
       font-size: 120%;
}
.u {
    text-decoration: underline;
}
#front_news {
    font-size: 80%;
    text-align: left;
}
#front_news dt {
    font-weight: bold;
}
.doi {
  font-size: 95%;
  font-family: serif;
}