@font-face {
    font-family: 'afdefault';
    src: url('fonts/Alegreya-Regular.otf');
    font-weight: normal;
    font-style: normal;
    font-variant: discretionary-ligatures;

}

@font-face {
    font-family: 'afdefault';
    src: url('fonts/Alegreya-Italic.otf');
    font-weight: normal;
    font-style: italic;
    font-variant: discretionary-ligatures;

}

@font-face {
    font-family: 'afdefault';
    src: url('fonts/Alegreya-Bold.otf');
    font-weight: bold;
    font-style: normal;
    font-variant: discretionary-ligatures;

}

@font-face {
    font-family: 'afdefault';
    src: url('fonts/Alegreya-BoldItalic.otf');
    font-weight: bold;
    font-style: italic;
    font-variant: discretionary-ligatures;
}

@font-face {
    font-family: afgeometric;
    src: url('fonts/MavenPro-Regular.ttf');
}

@font-face {
    font-family: afgeometric;
    src: url('fonts/MavenPro-Bold.ttf');
    font-weight:bold
}

@font-face {
    font-family: afsf;
    src: url('fonts/Junction.otf');
    font-feature-settings: "dlig" 1;
}

body { 
    background-color:#DAE6E6;
    font-family: afdefault;
    font-size: 14pt;
} 

P {
  text-align: justify;
}

h3.pagetitle {
    font-size: 170%;
    margin-left: 265px;
}
h2.frame_title {
    font-size: 140% ;
    padding-top:4px;
    padding-bottom:4px;
    margin-bottom:0px;
    margin-top:4px;
}

a         { color: #CC2020 ; text-decoration: none; }
a:visited { color: #CC9090 }
a:hover   { color: #FF4040 }

div.frame { 
    background-color: white ;
    margin: 20px ;
    margin-bottom: 20px;
    padding: 10px ;
    border-radius: 15px 0px 15px 0px;
    border: solid 3px rgb(96,96,96);
}

div.subframe {
    padding: 0px;
    margin-top: 0px;
    margin-bottom: 0px;
    margin-left: 0px;
    margin-right: 0px;
    border: 0px;;
}

div.boxed {
    padding: 0px 10px 10px 10px;
    margin-top: 10px;
    margin-bottom: 10px;
    margin-left: 30px;
    margin-right: 30px;
    border-radius: 15px 0px 15px 0px;
    border: solid rgb(96,96,96) 2px;;
}

div.address {
    margin-left: 40px;
}

h4.address_title {
   line-height:0px
}

div.figure {
   text-align: center;
}

div.header {
    color: #0000BB;
    padding-left:20px;
    padding-top:10px;
    padding-right:10px;
}

div.header_text {
   color: #A1A1A1;
   padding-top:0px;
   line-height:22px;
   display: inline-block;
   width: *;
}

div.icon_space {
  display: inline-block;
  float:right;
  padding:0px;
  margin:0px;
}

div.header_text h2 {
    color: #000000;
}


td {
    border-width: 1px;
    border-style: solid;
    border-color: black;
}

img {
    border-width: 3px;
    border-style: solid;
    border-color: rgb(96,96,96);
    margin: 10px;
}

img.portrait {
    border-width: medium ;
    border-color: rgb(96,96,96);
    border-style: solid;
    width: 180px;
    /* margin-top: 0px; */
    /* padding-top: 0px; */
    margin-left: 0px;
    margin-bottom: 30px;
    /* float: left */
}

img.icon {
    margin: 0px;
    padding: 0px;
    width: 70px;
    height:70px
}

img.figure {
    border-style: solid 3px rgb(96,96,96);
    border-radius: 10px 0px 10px 0px;
    padding : 20px;
    background-color: #DAE6E6;
}

ul.navigation {
    font-family:afsf;
    padding: 0px;
}

ul.navigation ul {
    padding-left: 10px;
    display:none 
}

ul.navigation li {
    list-style-type: none;
    list-style-position: inside;
    padding-top:5px;
}

li:hover ul {
    display: block;
}

ul:hover li {
    display: list-item
}    



ul.navigation > li {
    padding-bottom: 10px
}

.roman {
    font-style: normal;
    font-weight: normal
}
.stremph {
    font-style: italic;
    font-weight: bold
}

span.smallcaps {
    font-variant: small-caps
}

span.error {
    background-color: #FF5555;
}

sup {
    font-size: 60%
}

sub {
    font-size: 60%
}

span.verbatim {
    font-family: afgeometric;
    font-size: 12pt;
    white-space: pre;
}

#leftpanel {
    width: 180px;
    float: left;
    margin-left: 10px;
    margin-top: 10px;
    margin-right: 10px;
    padding: 15px;
}

#centralpanel {
    margin-left: 200px;
    margin-top: 10px;
    margin-right: 10px;
    padding: 15px;
    width: 70%;
}

div.about {
    font-family: afsf;
    margin-top: 50px;
    /* position: absolute; */
    /* bottom: 30px; */
}

div.about > div {
    padding-top:5px;
    padding-bottom:5px;
}

#ocaml_logo {
    padding: 0px;
}

div.about img {
    border-style: none;
    margin:0px;
}


p.source_file_link {
   text-align: right;
   font-style: italic;
   font-size: smaller
}


/* publications list */

div.publication {
    padding: 10px;
    padding-left: 30px;
    margin: 4px;
    margin-bottom: 6px;
    padding-bottom: 4px;
    border-radius: 10px 0px 10px 0px;
    background-color: #DAE6E6
}

div.publication_odd {
    padding: 10px;
    padding-left: 30px;
    margin: 4px;
    margin-bottom: 6px;
    padding-bottom: 4px;
    border-radius: 10px 0px 10px 0px;
    background-color: #EAF3F3
}

/* div.publication:hover { */
/*     padding: 10px; */
/*     padding-left: 30px; */
/*     margin: 2px; */
/*     margin-bottom: 0px; */
/*     padding-bottom: 2px; */
/*     background-color: #E1E6E6 */
/* } */

/* div.publication_odd:hover { */
/*     padding: 10px; */
/*     padding-left: 30px; */
/*     margin: 2px; */
/*     margin-bottom: 0px; */
/*     padding-bottom: 2px; */
/*     background-color: #E1E6E6 */
/* } */

a.no_style {
    text-decoration: none;
    color: black
}

span.pauthor {}
span.pbooktitle {
    text-decoration: underline;
}
span.peditor {}
span.pinstitution {}
span.pjournal {}
span.ppublisher {}
span.pseries {}
span.ptitle { 
    font-style: italic;
    color: #BB0000
}
a.purl {}
span.ppages {}
span.pvolume {}
span.pnumber {
    font-weight: bolder;
}
span.pyear {}


div.publication div.bib_item {
    display: none;
}
div.publication_odd div.bib_item {
    display: none;
}


table.publication_tab {
    width:100%;
}

td.publication_number {
   margin: 0px;
   padding: 0px;
   padding-right:10px;
   width: 30px;
   align: right;
   valign: top;
}

td.publication_left {
    text-align: left;
    margin: 0px;
    padding: 0px;
    left: 0px;
}

td.publication_right {
    text-align: right;
    margin: 0px;
    padding: 0px;
    right: 0px;
    left:auto;
}

table.bib_url_tab {
    display: inline-block;
}

table.bib_url_tab td {
    margin: 1px;
    padding: 2px;
}

img.publication_icon {
  width:  32px;
  heigth: 32px;
  border: none;
  margin: 2px;
}




/* Tables */


table {
    margin-left: auto;
    margin-right: auto
}


thead th {
    border-bottom: 1px solid;
    padding: 2px 35px;
}

tfoot th {
    border-top: 1px solid;
    padding: 2px 35px;
}

td {
    border: none;
    padding: 5px 35px;
}

div.table caption {
    font-weight: bolder;
    background-color: #EAF3F3;
    padding: 5px 20px;
}


/* theorems */


div.alert_header {
    padding: 0px;
    padding-right: 20px;
    margin-top: 20px;
    float: left
}

div.corollary {
    background-color: #EAF3F3;
    border-radius:10px 0px 10px 0px;
    padding: 5px 20px;
    margin: 5px 30px;
}

div.remark {
    background-color: #EAF3F3;
    border-radius:10px 0px 10px 0px;
    padding: 5px 20px;
    margin: 5px 30px;
}

div.claim {
    background-color: #EAF3F3;
    border-radius:10px 0px 10px 0px;
    padding: 5px 20px;
    margin: 5px 30px;
}

div.theorem {
    background-color: #EAF3F3;
    border-radius:10px 0px 10px 0px;
    padding: 5px 20px;
    margin: 5px 30px;
}

div.lemma {
    background-color: #EAF3F3;
    border-radius:10px 0px 10px 0px;
    padding: 5px 20px;
    margin: 5px 30px;
}

div.proof {
    padding: 0px 15px;
    margin: 10px 30px;
    border-left: 10px solid;
    border-color: #EAF3F3;
}

div.proof_header {
    float: left;
    padding: 0px;
    padding-right: 30px;
    margin-right: 5px;
}

/* Codes */

div.code {
    margin-left: auto;
    margin-right: auto;
    padding: 0px 10px;
    font-family: afgeometric;
    font-size: 12pt;
}

div.code pre {
    padding: 5px;
    margin: 5px 15px;
}

li.line_code_odd {
    background: #DAE6E6;
}
li.line_code_even {
    background: #EAF3F3;
}

span.code_comment {
    color: Crimson;
}
span.code_type {
    color: ForestGreen;
}
span.code_string {
    color: Maroon;
}
span.code_reserved {
    color: blue;
    font-weight: bolder;
}
span.code_literal {
    color: purple;
}
span.code_operator {
    color: DarkGoldenRod;
}
span.code_control {
    color: blue;
    font-weight: bolder;
}
span.code_constructor {
    color: #00B0B0;
}
span.code_error {
    color: red;
}
span.code_module {
    color: limegreen;
}
span.code_common {
    color: black;
}




/* For callcc quizzes */

div.buttonClass {

}

div.messageClass {
    margin: 3px;
    background: lightPink;
}

div.basicQuestionClass textarea {
    width : 100%
}

div.basicQuestionClass {
    padding: 5px;
    margin: 3px;
    background-color: lightBlue;
    border: solid 2px dodgerBlue;
    border-radius: 10px 0px 10px 0px;
}

div.questionClass {
    background-color: #DAE6E6;
    border: solid 2px rgb(96,96,96);
    border-radius: 10px 0px 10px 0px;
    z-index: 10;
    margin: 10 auto;
    padding: 10px;
    max-width: 90%;
    max-height: 90%;
    overflow:auto
}

div.quizzItem {
    margin: 3px;
    padding: 5px;
    border: solid 1px black;
}

div.quizzItemCorrection {
    background-color: white;
    margin: 3px;
    border: solid 1px black;
    border-radius: 10px 0px 10px 0px;
    padding: 7px;
}

p.quizzItemCorrectionComment {
    background: lightPink;
}

div.overlay_div {
    background: rgba(0,0,0,0.5);
    z-index: 5;
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    overflow:auto;
    
}