@import url('https://fonts.googleapis.com/css?family=Roboto+Mono|Domine:400,700|Roboto:100,100i,300,300i,400,400i,500,500i,700,700i,900,900i');

/*--------------------------------------------------------------------------
  Formatting for code snippets
/*--------------------------------------------------------------------------*/

/* identifier */
span.i { color:#000000; }
/* string */
span.s { color:#a31515; }
/* keywords */
span.k { color:#0000ff; }
/* comment */
span.c { color:#008000; }
/* operators */
span.o { color:#000000; }
/* numbers */
span.n { color:#000000; }
/* line number */
span.l { color:#96c2cd; }
/* type or module */
span.t { color:#2b91af; }
/* function */
span.f { color:#0000a0; }
/* DU case or active pattern */
span.p { color:#800080; }
/* mutable var or ref cell */
span.v { color:#000000; font-weight: bold; }
/* printf formatters */
span.pf { color:#2b91af; }
/* escaped chars */
span.e { color:#ff0080; }
/* mutable var or ref cell */

/* inactive code */
span.inactive { color:#808080; }
/* preprocessor */
span.prep { color:#0000ff; }
/* fsi output */
span.fsi { color:#808080; }

/* omitted */
span.omitted {
	background:#3c4e52;
  border-radius:5px;
	color:#808080;
	padding:0px 0px 1px 0px;
}
/* tool tip */
div.tip {
	background:#e5e5e5;
  border-radius:4px;
  font:9pt 'Roboto', arial, sans-serif;
	padding:6px 8px 6px 8px;
	display:none;
  color:#000000;
  pointer-events:none;
}
table.pre pre {
  padding:0px;
  margin:0px;
  border:none;
}
table.pre, pre.fssnip, pre {
  line-height:13pt;
  border:1px solid #d8d8d8;
  border-collapse:separate;
  white-space:pre;
  font: 10pt consolas,monospace;
  width:90%;
  margin:10px 20px 20px 20px;
  background-color:#fdfdfd;
  padding:10px;
  border-radius:5px;
  color:#000000;
  max-width: none;
}
.reveal .smallercode pre code {
	font-size:14pt;
}
pre.fssnip code {
  font: 18pt 'Roboto Mono',consolas,monospace;
}
table.pre pre {
  padding:0px;
  margin:0px;
  border-radius:0px;
  width: 100%;
}
table.pre td {
  padding:0px;
  white-space:normal;
  margin:0px;
}
table.pre td.lines {
  display:none;
}

/*--------------------------------------------------------------------------
  Formatting for normal things
/*--------------------------------------------------------------------------*/

.reveal section[style] {
  top:0px !important;
}
.reveal section {
  text-align:left;
}
.reveal code {
  font-family:'Roboto Mono', monospace;
  font-size:22pt;
	background:transparent;
}
.reveal h1 {
  background:#09357B;
  font:22pt Domine;
  width:calc(100%-40px);
  padding:20px;
  color:white;
  line-height:1.5em;
  text-align:left;
  margin:0px 0px 30px 0px;
}
.reveal h1 strong, .reveal h2 strong {
  font-weight:normal;
  text-transform:uppercase;
}
.reveal .part h1 {
  margin-top:200px;
}
.reveal p em, .reveal li em {
  font-weight:300;
  font-style:inherit;
}
.reveal h2, .reveal h3, .reveal h4, .reveal p, .reveal ul, .reveal ol {
  font-family:Roboto;
  width:calc(100%-40px);
  padding:0px 20px 0px 20px;
  text-align:left;
  font-weight:400;
  display:block;
}
.reveal h2 {
  font:26pt Roboto;
  padding:0px;
  width:100%;
  font-weight:700;
  text-align:left;
  margin:0px 0px 30px 0px;
}
.reveal h3 {
  font-size:36px;
  margin:60px 0px 30px 0px;
  font-weight:700;
}
.reveal h4 {
  font-size:36px;
  margin:50px 0px -10px 0px;
  font-weight:700;
}
.reveal ul, .reveal ol {
  margin-bottom:40px;
}

.reveal i.fa {
  width:1.5em;
  display:inline-block;
}
.reveal a {
  color:#09357B;
}
.reveal a:hover, .reveal a:active {
  color:#9ca1bd;
}

.reveal .controls .navigate-right.enabled {
  border-left-color:#9ca1bd;
}
.reveal .controls .navigate-left.enabled {
  border-right-color:#9ca1bd;
}
.reveal .controls .navigate-up.enabled {
  border-bottom-color:#9ca1bd;
}
.reveal .controls .navigate-down.enabled {
  border-top-color:#9ca1bd;
}
.reveal blockquote {
  border-style:none;
  width:100%;
  box-shadow:none;
  margin-top:50px;
}
.reveal blockquote p {
  font-size:32pt;
}

.klogo {
  position:absolute;
  right:10px;
  bottom:30px;
  width:140px;
  z-index:1000;
}
.reveal img.nb {
  border-style:none;
  box-shadow:none;
}