

/*.navbar-default {*/
/*    padding-bottom: 1em;*/
/*    padding-left:.5%;*/
/*    padding-right:1%;*/
/*    padding-top:.2%;*/
/*}*/

.navbar-default {
      background-color: #882345; 
      font-family: Georgia;
      padding: 1em; 
}

.logo { 
      color: white; 
      display: inline-block; 
      font-size: 2em; 
      text-decoration: none; 
}

.logo:hover { text-decoration: underline; }

.logo_name { 
      color: white; 
      display: inline-block; 
      font-size: 2em; 
      text-decoration: none; 
}

.logo_name:hover { text-decoration: none; }

ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
    color: #D6D6CE;
    font-size: x-large;
}

li {
    display: inline;
}


/* unvisited link */
a.a1:link {
    color: white;
    text-decoration: none;
}

/* visited link */
a.a1:visited {
    color: #D6D6CE;
    text-decoration: none;
}

a.a1:hover {
    text-decoration: underline;
}


/* unvisited link */
a.a2:link {
    color: #882345;
    text-decoration: none;
}

/* visited link */
a.a2:visited {
    color: #82786F;
    text-decoration: none;
}

a.a2:hover {
    text-decoration: underline;
}


img.logo {
    vertical-align: text-bottom;
    float:right;
    width:162px;
    height:70px;
}




.top {
    font-family: 'Lucida Sans Unicode', 'Helvetica', 'Arial', sans-serif;
}

.top_name {
    font-family: 'Lucida Sans Unicode', 'Helvetica', 'Arial', sans-serif;
    color: #882345;
    font-weight: bold;
}

.top_other {
    font-family: 'Lucida Sans Unicode', 'Helvetica', 'Arial', sans-serif;
    color: #82786F;
}

.update {
    font-family: 'Lucida Sans Unicode', 'Helvetica', 'Arial', sans-serif;
    font-size: small;
}

.body_text {
    font-family: Georgia;
}


.header1_title{
    font-family: Georgia;
    color: #882345;
    font-weight: bold;
}

.header2_title{
    font-family: Georgia;
    color: #82786F;
}



ol.papers {
    display: block;
    list-style-type: decimal;
    margin-top: 10px;
    margin-bottom: 10px;
    margin-left: 0;
    margin-right: 0;
    padding-left: 40px;
}

li.papers {
    padding-bottom: 10px;
    display: list-item;
}
