/***************************************************/
/* Below is the section for what's generated by opam-doc */
#opamdoc-contents pre, #opamdoc-contents code .code, #opamdoc-contents pre code, #opamdoc-contents code {
  background-color: transparent;
  border: 0;
}
#opamdoc-contents .keyword {
  color: #008000;
  font-weight: bold;
}
#opamdoc-contents .type {
  font-weight: bold;
}
#opamdoc-contents h6 {
  font-size: 160%;
  font-weight: bold;
  background-color: lightgray;
  border-color:black;
  margin: 0;
  padding:0.5ex;
  text-align:center;
  border: solid;
  border-width: 0.1ex;
  width: 100%;
}

#opamdoc-contents table, #opamdoc-contents td, #opamdoc-contents tr,
#opamdoc-contents pre,  #opamdoc-contents code {
    margin:0;
    padding:0;
}
#opamdoc-contents table.typetable td {
    padding-right:0.75ex;
}
#opamdoc-contents div.info {
    /* margin:2pt 0 1.5em 1em; */
    /* padding:0; */
}
#opamdoc-contents ul {
    margin: 0 0 0 4ex;
    padding: 0;
}
#opamdoc-contents li {
    margin: 0 0 0 0;
    padding: 0;
}
#opamdoc-contents pre.codepre {
    background-color:lightgray;
}

#opamdoc-contents .expander { 
  width:1.5em; 
  height:1.5em; 
  border-radius:0.3em; 
  font-weight: bold; 
  font-family:Sans; 
  line-height:16px; 
}
#opamdoc-contents .expanding_sig { border-spacing: 5px 1px }
#opamdoc-contents .expanding_sig td { vertical-align: text-top }
#opamdoc-contents .expanding_include_0 td { vertical-align: text-top } 
#opamdoc-contents .expanding_include_1 td { vertical-align: text-top } 
#opamdoc-contents .expanding_include_2 td { vertical-align: text-top } 
#opamdoc-contents .expanding_include_3 td { vertical-align: text-top } 
#opamdoc-contents .expanding_include_4 td { vertical-align: text-top } 
#opamdoc-contents .expanding_include_5 td { vertical-align: text-top } 
#opamdoc-contents .expanding_include_6 td { vertical-align: text-top } 
#opamdoc-contents table.expanding_include_0, table.expanding_include_1, table.expanding_include_2, table.expanding_include_3,
table.expanding_include_4, table.expanding_include_5, table.expanding_include_6 {
  border-top: thin dashed;
  border-bottom: thin dashed;
  border-collapse: collapse;
}
#opamdoc-contents table.expanding_include_0 { background-color: #FFF5F5; }
#opamdoc-contents table.expanding_include_1 { background-color: #F5F5FF; } 
#opamdoc-contents table.expanding_include_2 { background-color: #F5FFF5; } 
#opamdoc-contents table.expanding_include_3 { background-color: #FFF5FF; } 
#opamdoc-contents table.expanding_include_4 { background-color: #FFFFF5; } 
#opamdoc-contents table.expanding_include_5 { background-color: #F5FFFF; } 
#opamdoc-contents table.expanding_include_6 { background-color: #FFF5EB; } 
#opamdoc-contents td.edge_column { border-right: 3px solid lightgrey }

/* end of section for opam-doc */
/***************************************************/

/* FIXME: OCaml code should be in <pre> with a distinct class? */
pre { line-height: 135%; }
blockquote pre { margin-top: 10px }  /* better styling for quoted code pieces */
code, .gutter pre {
  font-family: "Droid Sans Mono", Consolas, monospace;
}
code { font-size: 100%; }
h1 code, h2 code, h3 code, h4 code, h5 code, h5 code { font-size: 80%; }
.governing, .ocaml .ot { color: black; font-weight: bold; }
.keyword, .ocaml .kw, .ocaml .k, .planet .Keyword { color: #575bf4 }
.keywordsign { color: #886643; }
.constructor, .ocaml .dt, .ocaml .nc {
  color: #829f1c;
  font-weight: normal;
}
.superscript { font-size : 80% }
.subscript { font-size : 80% }
.comment, .comment .governing, .comment .keyword, .comment .ocaml-function,
.comment .string, .ocaml .co, .comment .ocaml-module,
.comment .ocaml-variable, .planet .Comment {
  color: #747474;
  font-style: italic;
  font-weight: normal;
}
.type { color: #c746cc }
.string, .string .keyword, .string .keywordsign, .string .constructor,
.string .governing,
.ocaml .st {
  color: rgb(176, 88, 119);
  font-weight: normal;  
}
.warning { color : Red ; font-weight : bold }
.info { margin-left : 3em; margin-right: 3em }
.param_info { margin-top: 4px; margin-left : 3em; margin-right : 3em }
.code { color : #465F91 ; }
.typetable { border-style : hidden }
.paramstable { border-style : hidden ; padding: 5pt 5pt}

.ocaml-prompt { color: #8d8d8d }
.ocaml-function { color: #0606ee }
.ocaml-variable, .planet .Identifier { color: #b8860b }
.ocaml-module, .planet .Include {
  color: #829f1c; /* same as "constructor" */
}
.planet .Operator { color: #93827c }

.ocaml-output { color: #696969 }
.ocaml-stdout { color: #0d89dd }
.ocaml-stderr { font-style: italic }
.ocaml-error { font-style: italic;  color: #d32121 }
.ocaml-error-loc { border-bottom: solid 2px #d32121; }

h1 img.rss {
  height: 1.3ex;
}

.syndication img {
  height: 1.5ex;
  margin-left: 0.3ex;
}
.syndication img.opml {
  margin-left: 2ex;
}

a.planet-toggle {
  float: right;
  font-size: 90%;
  padding: 5px 10px;
  margin-bottom: 2ex;
  color: #4b4b4b;
  background: #e6e6e6;
  border: 1px solid #dedede;
}

a.planet-toggle:hover, a.planet-toggle:focus {
  color: #ffffff;
  background: #c77a27;
}

h1.planet {
  font-size: 24px;
  line-height: 24px;
  padding-bottom: 6px;
  border-bottom: 1px #ACACAC solid;
}
h1.planet a {
  color: #404040;
}
h1.planet a:hover {
  color: #c45641;
}


h1.planet a {
  line-height: 35px;
}
h1.planet .additional-info {
  font-size: 65%;
  font-weight: normal;
}

h1.planet .share {
  float: right;
  padding-top: 1px;
  margin-left: 5px;
  font-size: 50%;
}
h1.planet .share a {
  margin-left: 5px;
}

h1.planet .share img.svg {
  height: 16px;  /* same as alternative PNG image */
}

.planet-post h1 { font-size: 20px; }
.planet-post h2 { font-size: 18px; }

.planet-post ul, .planet-post ol {
  margin-top: 6px;  /* Undo bootstrap negative spacing */
}

div.subscribers {
  margin-left: 3em;
}

.subscribers h3 {
  margin-bottom: 2ex;
}

.subscribers li {
  line-height: 100%;
}

.subscribers .broken {
  color: #dcc8c4;
  text-decoration: line-through;
}

h1.news a > img {
  float: right;
  padding-top: 12px;
}

h4.news img {
  float: right;
  margin-top: 3px;
}

h4.news img.rss {
  height: 1.5ex;
}

/* Edit buttom, right of the navbar. */
a.edit-this-page {
  margin-top: 22.5px;
  margin-left: 15px;
  width: 33px;
  height: 33px;
  display: block;
  text-decoration: none;
}
a.edit-this-page {
  background: url(/National_Library/20161130034600oe_/https://ocaml.org/img/edit.png) no-repeat left center;
}
html.svg a.edit-this-page {
  background: url(/National_Library/20161130034600oe_/https://ocaml.org/img/edit.svg) no-repeat left center;
}

.edit-this-page span {
  display: none;
  color: #ffffff; /* same as the other menu entries */
}

a.edit-this-page:hover {
  background-image: url(/National_Library/20161130034600oe_/https://ocaml.org/img/edit-hover.png);
}
html.svg a.edit-this-page:hover {
  background-image: url(/National_Library/20161130034600oe_/https://ocaml.org/img/edit-hover.svg);
}

/* When the navigation bar has reduced size */
@media (max-height: 600px) and (min-width: 980px) {
  a.edit-this-page {
    margin-top: 7.5px;
  }
}

/* When the navigation bar is collapsed */
@media (max-width: 979px) {
  .nav-collapse a.edit-this-page {
    float: none;
    width: auto;
    margin-left: 10px;
  }
  .nav-collapse .edit-this-page span {
    display: block;
    padding-top: 5px;
    margin-left: 40px;
  }
}

/* Solutions to questions */
button.solution {
  margin-bottom: 0;
}

div.solution {
  display: none;
  margin-top: 0;
  padding-left: 2ex;
  border-left: 2px solid #dedede;
}

code.c {
  color: #000000;
  font-style: normal;
}

.planet figcaption {
  display: block;
  line-height:2em;
  padding-left: 1ex;
  text-shadow:#cbcccc 0 1px 0;
  color:#474747;
  margin-bottom:0;
  -moz-border-radius-topleft:5px;
  -webkit-border-top-left-radius:5px;
  border-top-left-radius:5px;
  -moz-border-radius-topright:5px;
  -webkit-border-top-right-radius:5px;
  border-top-right-radius:5px;
  background:#cdcdcd;
}


/* Blogs generated with Hevea. */
div.lstlisting { /* = <pre><code> */
  display: block;
  white-space: pre-wrap;
  padding: 2px 4px 2px 4px;
  margin: 10px 0;
  font-family: "Droid Sans Mono", sans-serif;
  color: #000000;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
  /* code */
  background-color: #f7f7f9;
  border: 1px solid #e1e1e8;
}
p + div.lstlisting {
  margin-top: -14px;
}

/* Thomas Leonard's blog */
figure.code {
  padding: 0px;
  border: 0px none;
  margin: 0 0 1ex 0;
  /* overflow-x: auto; */
}
figure.code td.gutter pre {
  color: #808080;
  line-height: 148%;
  text-align: right;
}
figure.code td.code {
  width: 100%;
}
.planet pre code {
  white-space: pre;
  overflow-x: auto;
}
.planet code {
  /* without <pre> */
  white-space: pre-wrap;
}


.video16-9 {
  position: relative;
  padding-bottom: 56.25%; /* 16:9 */
  padding-top: 25px;
  height: 0;
}

.video16-9 iframe {
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
  height: 100%;
}
@media (min-width: 768px) {
  /* When TOC is on the side. */
  .running-header {
    margin-left: 20px; /* as span... */
  }
  .span8 .running-header {
    margin-bottom: 8px;
  }
}

.span12 .running-header {
  margin-bottom: 0px;
}

/* Running header on the front page */

header + .core-running-header {
  margin-top: -27px;
  margin-bottom: 12px;
}

/* Translations and breadcrumb */
div.running-header {
  margin-top: -10px;
}
.breadcrumb {
  display: inline;
}
ul.translations {
  float: right;
  position: relative;
  z-index: 10;

  padding: 8px 0;
  list-style: none;
  border-radius: 0;
  font-family: Lato, sans-serif;

  font-weight: normal;
  color: #6f6f6f; /* current language name */
  border: 0;
  padding: 0;
  margin: 0px 1ex 0px 2ex;
}
ul.translations:before { content: "["; }
ul.translations:after { content: "]"; }
.translations > li  {
  display: inline-block;
  *display: inline;
  /* IE7 inline-block hack */

  *zoom: 1;
  text-shadow: 0 1px 0 #ffffff;
}

/* Two columns mode
 ***********************************************************************/
.begin_two_columns {
  clear: both;
}
/* Same point where the 3 columns (say on "Learn") are next to each other. */
@media (min-width: 768px) {
  .two-columns-first {
    width: 49%;
    float: left;
  }
  .two-columns-second {
    width: 49%;
    float: right;
  }
  .two-columns-end {
    clear: both;
    height: 0px;
  }
}

/* Footer
 ***********************************************************************/
/* Footer */
#footer {
  font-size: 95%;
  margin-top: 4ex;
  margin-bottom: 0;
  height: auto;
  text-align: center;
}
#footer .column {
  display: inline-block;
  vertical-align: text-top;
  min-width: 22%;
  margin-right: 1em; /* To visually "compensate" for left alignment */
}
@media (max-width: 767px) {
  #footer .column {
    text-align: left;
    padding-left: 10%;
    padding-right: 5%;
  }
}
@media (max-width: 480px) {
  #footer .column {
    width: 98%;
    padding-left: 20%;
  }
}
#footer .entry {
  display: inline-block;
  text-align: left;
}

#footer h1 {
  font-size: 109%;
  font-weight: bold;
  margin-bottom: 0;
}
#footer h1, #footer h1 a {
  color: #FFFFFF;
}
#footer ul {
  margin-left: 0;
}
#footer li {
  list-style: none;
}
#footer li a {
  padding: 0;
  color: #cbcbcb;
}
#footer li a:hover {
  color: #FFFFFF;
}

/* SVG
 ***********************************************************************/
/* Combined with the Javascript in main.mpp */

img.svg { display: none; }
img.png { display: inline; }
html.svg img.svg { display: inline; }
html.svg img.png { display: none; }

.brand img.svg { width: 131px;  height: 36px; }