/* TITLE */

#title {
    margin: 5pt 0 0 40pt;
}
#title a {
    color: #1F82C9;
    font-size: 38pt;
    font-weight: 900;
}
#title a span {
    color: #1D649B;
}
#subtitle {
    margin: 0 0 0 40pt;
    position: relative;
    top: -15pt;
}
#subtitle, #subtitle a {
    color: #000060;
    font-size: 18pt;
    font-weight: bold;
}
#title a:link, #title a:visited, #title a:hover {
    text-decoration: none;
}


/* NAVBAR */

ul.links li
{
    display: inline;
    list-style-type: none;
    padding: 0 0.5em;
}
#navbar
{
    overflow: hidden; /* Crucial to avoid unnecassary horizontal scrollbars */
    width: 100%;
}
#navbar ul /* Primary and secondary links */
{
    margin: 0;
    padding: 0;
    text-align: left;
}
#navbar li /* A simple method to get navbar links to appear in one line. */
{
    float: left;
    padding: 0 4em 0 0;
}
#primary
{
    float:left;
    padding: 3pt 3pt 3pt 50pt;
    width:100%;
    background: #000060;
    color:white;
}
#primary a:link, #primary a:visited
{
    color:white;
}
#secondary
{
    float:right;
}
#secondary a:link, #secondary a:visited
{
    color:#888;
}


/* CONTENT & SIDEBAR */

#outer {
    background: #EEEEEE;
    margin: 12pt 32pt;
    padding: 8pt;
}
#cnthdr, #cntftr {
    background: #AAAAAA;
    color: #000060;
    font-size: 8pt;
    font-weight: 600;
    margin: 0;
    padding: 2pt;
    width: 100%;
}
td#cnthdr_right, td#cntftr_right {
    text-align: right;
}
#breadcrumbs, #cntftr {
    font-size: 8pt;
    margin: 0;
}
#cnthdr #home, #fullscreen_header {
    font-size: 12pt;
}
#cnthdr a:link, #cnthdr a:visited, #cnthdr a:hover,
#cntftr a:link, #cntftr a:visited, #cntftr a:hover {
    color: #000060;
    font-size: 1em;
}
#inner {
    background: white;
    margin: 0;
    padding: 4pt 6pt;
    overflow: hidden;
}
#container {
    float:left;
    width:100%;
    margin-left:-250px;
}
#content {
    margin-left:250px;
    border-right: solid #AAAAAA 1.5pt;
}
#content-inner {
    padding-right: 10pt;
    margin-top: 10pt;
    margin-bottom: 10pt;
}
#sidebar {
    float:right;
    width:250px;
}
#sidebar-inner {
    padding: 0pt 10pt 0pt 10pt;
}
#sidebar p {
    line-height: 100%;
    margin: 0.3em 0;
}

#sidebar .header {
    font-size: 11pt;
    font-weight: bold;
    margin-top: 1em;
}
#sidebar ul {
    list-style: disc outside none;
    padding-left: 1em;
    margin-top: 8pt;
    margin-bottom: 12pt;
}
#sidebar li {
    margin-bottom: 1pt;
}

ul.pipedlist
{
    list-style: none;
    padding: 0;
    margin: 0;
}
ul.pipedlist li
{
    display: inline;
    padding: 0;
    margin: 0;
    margin-right: 1em;
}
ul.pipedlist li:before
{
    content: "\00BB \0020";
}

/* List of text */
table {
    font-size: 1em;
}
.textlist td {
    padding: 4pt 10pt;
}
.textlist p.intro {
    font-size: .9em;
    font-style: italic;
}
.textlist p.author {
    font-size: .9em;
    color: #AAAAAA;
    color: #606060;
}
.textlist p {
    margin: 0;
}

/* table with two cols - one with a name and the second with an description */
.namevalue {
    border: 1px #AAAAAA solid;
}
.namevalue tr.two {
    background: #EEEEEE;
}
.namevalue td, .namevalue th {
    padding: 3pt;
    vertical-align: top;
}
.namevalue th {
    background: #CCCCCC;
    font-weight: bold;
    text-align: left;
}
.namevalue td.name {
    font-weight: bold;
    padding-right: 10pt;
}

/* Linux style Shell prompt, source code */
pre.shell, pre.source {
    border: 1px #AAAAAA solid;
    margin-right: 4pt;
    padding: 2pt;
}
.prompt {
    color: #994444;
    font-size: 1em;
    font-weight: bold;
}
.comment {
    color: #449944;
    font-style: italic;
}

/* Code, local Filenames */
code, .path, .program {
    color: #994444;
    font-family: monospace;
}
.quote {
    font-style: italic;
    margin: .5em 2em;
}
.keystroke, .output {
    color: #444499;
    font-family: monospace;
}
hr.seperator {
    border: 1px #AAAAAA solid;
    margin: 15pt 0;
    width: 50%;
}


/* general options for text */
body {
    background-color: white;
    font-family: "Verdana", sans-serif;
    font-size: 10pt;
    margin: 0;
    padding: 0;
}

h2 {
    font-size: 13pt;
    margin-top: 1.9em;
    clear: both;
}
#content-inner h2:first-child {
    margin-top: 0pt;
}
#content-full h2:first-child {
    margin-top: 0.8em;
}
h3 {
    font-size: 11pt;
    margin-top: 1.6em;
}
h4 {
    font-size: 10pt;
}
small, p.small {
    font-size: 7pt;
}
p.small {
    margin-top: 2pt;
}
#content ul li,
#content-full ul li
{
    margin: 0.3em 0;
}


/* HYPERLINKS */

a:link, a:visited {
    color: #1D649B;
    text-decoration: none;
    font-size: 0.9em;
    font-weight: bold;
}
a:link:hover {
    text-decoration: underline;
}
a.person:link, a.person:visited,
.datalist a.arxiv:link, .datalist a.arxiv:visited{
    color: black;
    font-weight: normal;
    font-size: 1em;
}
/* a.person:link, a.person:visited { */
/*     color: #444; */
/* } */

a[href^="http:"], a[href^="https:"] {
    background: url(/images/ext.png) right center no-repeat;
    padding-right: 14px;
}
a[href^="mailto:"] {
    background: url(/images/extm.png) right center no-repeat;
    padding-right: 14px;
}