@charset "UTF-8";

* {margin: 0; padding: 0;}

.IEwarning {
    display: none;
}

#navDiv h3 {
    display: none;
}



/* fonts and spacing */
body {
    font:11pt Helvetica, Arial, sans-serif;
    color: #000;
}


#main p, #main ul {
    line-height: 160%;
    padding: 1ex 1em;
    margin: 0;
}
#main .borderbox {
    margin: 1ex 0;
}
#main .borderbox ul {
    padding-left: 2ex;
    list-style-position: inside;
}
#main .borderbox li {
    padding: .7ex 0;
}

#main .borderbox hr {
    width: 80%;
    margin: auto;
}

#main .subbox {
    margin-left: 2em;
    margin-right: 2em;
}

a {
    color: #229;
}
a:visited {
    color: #222;
}
a:hover {
    text-decoration: none;
}

.listbox a {
    font-family: Georgia, serif;
    font-weight: 300;
    color: #000;
}

#masthead a{
    font-family: Georgia, Times New Roman, serif;
    text-decoration: none;
    color: #000;
}

#main h3,
#main h4 {
    margin-top: 2em;
    padding: 3px;
    margin: 3em 0 0 0;
}
#centralContent > h4:first-child,
#centralContent > h3:first-child {
    clear: both;
}

#main a.headerlink {
    display: none;
    color: #C88935;
}
#main h4:hover a.headerlink,
#main h3:hover a.headerlink {
    display: inline;
}


#navDiv a {
    display: block;
    width: 100%;
    text-decoration: none;
}
#navDiv a:visited {
    text-decoration: none;
}
#navDiv li {
    font-size: 110%;
}
#navDiv ul li.nav-top {
    border: 1px #fff solid;
    border-radius: 5px;
    -moz-border-radius: 5px;
    -webkit-border-radius: 5px;
    margin-right: 0ex;
}
#navDiv ul li.nav-top:hover {
    border: 1px #777 solid;
}
#navList {
    border-bottom: 1px #644 dotted;
    padding-bottom: 1pc;
}

#copyright {
    float: left;
    padding-left: 3em;
    color: #606060;
}

#main li .hwhead {
    font-size: 120%;
}
#main li.hwset p {
    padding-top: 0;
    padding-bottom: 0
}

#main p.warning {
    font-family: serif; 
    font-style: italic; 
    font-size: 115%; 
    background-color: #E7FDD8;
    margin: 1ex;
    border-radius: 10px 10px 0 0;
    -moz-border-radius: 10px 10px 0 0;
    -webkit-border-radius: 10px 10px 0 0;
}

#main .subsection {
    font-family:Georgia, serif;
    font-weight:bold;
}

/* positioning and formatting */

body {
}
body.home {   
}
#navDiv li ul {
    display: none;
}
#navDiv li ul li,
#navDiv li ul li:hover {
    margin: 1ex 1ex;
    border: none;
    font-size: 120%;
}
body.research #nav-research ul,
body.teaching #nav-teaching ul,
body.cv #nav-cv ul,
body.application #nav-application ul,
body.latex #nav-latex ul,
body.personal #nav-personal ul,
body.contact #nav-contact ul {
    display: block;
}
body.research #nav-research > a,
body.teaching #nav-teaching > a,
body.cv #nav-cv > a,
body.application #nav-application > a,
body.latex #nav-latex > a,
body.personal #nav-personal > a,
body.contact #nav-contact > a {
    font-weight:bold;
    font-size:120%;
    padding-left: 0;
}
body.research #navDiv ul li#nav-research,
body.teaching #navDiv ul li#nav-teaching,
body.cv #navDiv ul li#nav-cv,
body.application #navDiv ul li#nav-application,
body.latex #navDiv ul li#nav-latex,
body.personal #navDiv ul li#nav-personal,
body.contact #navDiv ul li#nav-contact {
    border: 1px #ccc solid;
    padding: 1ex;
}

#main .subtitle {
    margin: 0;
    padding: 0 3px 3px 2.5ex;
    font-size: small;
}
#main .subtitle a,
#main .subtitle a:visited {
    color: #44b;
}


#outerwrapper {
}

#wrapper {
    width: 840px;
}

#masthead {
}

.borderbox {
}

#breadcrumbs {
    display:none;
    padding: 0 22px;
    background-color: #fbf;
    float: right;
}

ul, #main p, #contactInfo {
}

ul.listbox, .listbox ul {
    list-style-type:none;
    padding-left:3px;
    font-size:84%;
}
.listbox li{
/*    background:url(/i/bullet_small.gif) 0 5px no-repeat;*/
}

#mainouterwrapper {

}

#mainwrapper {
}

#main {
    width: 450px;
    float: right;
    padding: 0 30px 0 0;
}

.trigger:hover {
    cursor: pointer;
}

#navDiv {
    width: 140px;
    float: left;
}
#navDiv ul {
    list-style-type: none;
}
#navDiv ul li ul {
    padding: 0;
}
#navDiv li:hover {
}
#navDiv li ul li:hover {
}

#navDivSearch {
    padding-top: 2ex;
}
#navDivSearch .FindBut,
#navDivSearch select {
    display: none;
}
#navDivSearch form input{
    font-family: Courier, monospace;
}


#additionalDiv {
}

#additionalDiv h4 {
    padding-top: 1em;
}


#contactInfo {
    font-size: 95%;
    text-align: left;
}
#contactInfo {
    padding: 1ex;
    line-height: 130%;
}
#contact-office-address {
    padding-top: 1ex;
}
#contactInfo form {

}
#contactInfo input {
    font-family: Courier, monospace;
}
#email-contact{
    height: 10ex;
}
.side-subtext{
    font-size: 82%;
    padding-top: 1ex;
}
#passwdHelp {
    padding-top: 1ex;
}
#output {
    font-size: 100%;
    font-family: Courier, monospace;
    padding-top: 1ex;
}

#footer {
    width: 100%;
    clear: both;
    text-align: right;
    font-size: 75%;
    padding-top: 2em;
    padding-bottom: 3em;
}
#footer .left {
    float: left;
    padding-left: 25px;
}
#footer p {
    padding: 1em;
    border-top: 2px solid #d9d9d9;
    border-bottom-left-radius: 7px;
    -moz-border-radius-bottomleft: 7px;
    -webkit-border-bottom-left-radius: 7px;
    border-bottom-right-radius: 7px;
    -moz-border-radius-bottomright: 7px;
    -webkit-border-bottom-right-radius: 7px;
}

#sharingButtons {
    margin-top: 1ex;
}
.sharingButton {
    float: left;
    height: 2em;
    margin-right: 1.5ex;
}

#main .caption {
}
#main .caption a img {
    border-style: none;
}
#main .caption img {
    width: 100%;
}
#main .caption p {
    font-size:small;
    margin:7px 5px 0px 12px;
    padding:0 1em;
    margin:0;
}

.toggle {
    cursor: pointer;
}

#main li {
    clear: both;
}

body.personal #main li {
    padding-top: 1pc;
}

/* research page */

#sectionIntro-show,
#sectionBicat-show,
#sectionGalois-show,
#sectionBP-show{display:none;}

body.research #main .show-hide {
    font-size: small;
    text-align: right;
    display: inline;
/*    border-right: 1px solid;
    border-bottom: 1px solid #ccc;
    width: 100%;
*/    margin-left: 1em;
    padding-left: .5ex;
    padding-bottom: .5ex;
}

body.research #main h3 {
    margin-top: 2em;
    line-height: 120%;
}
body.research #main .borderbox h4 {
    padding-top: 0;
    margin-top: 7px;
    padding: 0 1em;
    line-height: 150%;
}

body.research #main h4 a {
    font-size: 110%;
}

body.research .borderbox {
    margin-bottom: 2pc;
}

body.research #main .borderbox ul
{
    padding-left: 3em;
}



/* style select */





/* Face Picture */
#IDpicDiv {
}

#IDpicNav {
  display:none;
  float:right;
  position:absolute;
  font-size:22px;
  font-weight:bold;
  padding:4px 5px 0px 19px;
}
#IDpicDiv:hover #IDpicNav.randomImg {
  display:block;
}

#IDpicNav a {
  text-decoration:none;
  color:#7881aE;
  text-shadow:4px 4px 2px black;
}


/* quicklinks */

#quicklinks {
    background:url(/i/arrow.gif) left 8px no-repeat;
    color:#68717E;
    line-height:14px;
    padding:7px 0pt 10px 18px;
    position:absolute;
    width:165px;
}

#quicklinks ul {
    display: none;
}

#quicklinks:hover ul {
    display: inline;
}

#quicklinks h3 {

/*	border-bottom:#fff solid 1px;*/
}

#quicklinks:hover {
/*	background-image:url(/i/arrow_down.gif);*/
}