.reveal h1 { font-size: 1.2em; }

.noborder table, th, td {
    border:none; !important
    align:center; !important
}
#noborder table, th, td {
    border:none; !important
    align:center; !important
}

table, th, td {
    border: 1px solid black;
    color: #ddd;
}

.reveal {
  font-family: 'Source Sans Pro', Helvetica, sans-serif;
  font-size: 33px;
  font-weight: normal;
}


/* custom.css */

@font-face {
    font-family: 'Computer Modern Typewriter';
    src:url("http://ngnghm.github.io/fonts/cmuntt.eot");
    src:url("http://ngnghm.github.io/fonts/cmuntt.eot?#iefix") format("embedded-opentype"),
    url("http://ngnghm.github.io/fonts/cmuntt.woff") format("woff"),
    url("http://ngnghm.github.io/fonts/cmuntt.ttf") format("truetype"),
    url("http://ngnghm.github.io/fonts/cmuntt.svg#cmuntt") format("svg");
    font-weight:normal;
    font-style:normal
}
@font-face{
    font-family:'Computer Modern Typewriter';
    src:url("http://ngnghm.github.io/fonts/cmuntb.eot");
    src:url("http://ngnghm.github.io/fonts/cmuntb.eot?#iefix") format("embedded-opentype"),
    url("http://ngnghm.github.io/fonts/cmuntb.woff") format("woff"),
    url("http://ngnghm.github.io/fonts/cmuntb.ttf") format("truetype"),
    url("http://ngnghm.github.io/fonts/cmuntb.svg#cmuntb") format("svg");
    font-weight:bold;
    font-style:normal
}
@font-face{
    font-family:'Computer Modern Typewriter';
    src:url("http://ngnghm.github.io/fonts/cmunit.eot");
    src:url("http://ngnghm.github.io/fonts/cmunit.eot?#iefix") format("embedded-opentype"),
    url("http://ngnghm.github.io/fonts/cmunit.woff") format("woff"),
    url("http://ngnghm.github.io/fonts/cmunit.ttf") format("truetype"),
    url("http://ngnghm.github.io/fonts/cmunit.svg#cmunit") format("svg");
    font-weight:normal;font-style:italic
}
@font-face{
    font-family:'Computer Modern Typewriter';
    src:url("http://ngnghm.github.io/fonts/cmuntx.eot");
    src:url("http://ngnghm.github.io/fonts/cmuntx.eot?#iefix") format("embedded-opentype"),
    url("http://ngnghm.github.io/fonts/cmuntx.woff") format("woff"),
    url("http://ngnghm.github.io/fonts/cmuntx.ttf") format("truetype"),
    url("http://ngnghm.github.io/fonts/cmuntx.svg#cmuntx") format("svg");
    font-weight:bold;
    font-style:italic
}
@font-face{
    font-family:'Computer Modern Sans';
    src:url("http://ngnghm.github.io/fonts/cmunss.eot");
    src:url("http://ngnghm.github.io/fonts/cmunss.eot?#iefix") format("embedded-opentype"),
    url("http://ngnghm.github.io/fonts/cmunss.woff") format("woff"),
    url("http://ngnghm.github.io/fonts/cmunss.ttf") format("truetype"),
    url("http://ngnghm.github.io/fonts/cmunss.svg#cmunss") format("svg");
    font-weight:normal;font-style:normal
}
@font-face{
    font-family:'Computer Modern Sans';
    src:url("http://ngnghm.github.io/fonts/cmunsx.eot");
    src:url("http://ngnghm.github.io/fonts/cmunsx.eot?#iefix") format("embedded-opentype"),
    url("http://ngnghm.github.io/fonts/cmunsx.woff") format("woff"),
    url("http://ngnghm.github.io/fonts/cmunsx.ttf") format("truetype"),
    url("http://ngnghm.github.io/fonts/cmunsx.svg#cmunsx") format("svg");
    font-weight:bold;
    font-style:normal
}
@font-face{
    font-family:'Computer Modern Sans';
    src:url("http://ngnghm.github.io/fonts/cmunsi.eot");
    src:url("http://ngnghm.github.io/fonts/cmunsi.eot?#iefix") format("embedded-opentype"),
    url("http://ngnghm.github.io/fonts/cmunsi.woff") format("woff"),
    url("http://ngnghm.github.io/fonts/cmunsi.ttf") format("truetype"),
    url("http://ngnghm.github.io/fonts/cmunsi.svg#cmunsi") format("svg");
    font-weight:normal;
    font-style:italic
}
@font-face{
    font-family:'Computer Modern Sans';
    src:url("http://ngnghm.github.io/fonts/cmunso.eot");
    src:url("http://ngnghm.github.io/fonts/cmunso.eot?#iefix") format("embedded-opentype"),
    url("http://ngnghm.github.io/fonts/cmunso.woff") format("woff"),
    url("http://ngnghm.github.io/fonts/cmunso.ttf") format("truetype"),
    url("http://ngnghm.github.io/fonts/cmunso.svg#cmunso") format("svg");
    font-weight:bold;
    font-style:italic
}
@font-face{
    font-family:'Computer Modern Serif';
    src:url("http://ngnghm.github.io/fonts/cmunrm.eot");
    src:url("http://ngnghm.github.io/fonts/cmunrm.eot?#iefix") format("embedded-opentype"),
    url("http://ngnghm.github.io/fonts/cmunrm.woff") format("woff"),
    url("http://ngnghm.github.io/fonts/cmunrm.ttf") format("truetype"),
    url("http://ngnghm.github.io/fonts/cmunrm.svg#cmunrm") format("svg");
    font-weight:normal;
    font-style:normal
}
@font-face{
    font-family:'Computer Modern Serif';
    src:url("http://ngnghm.github.io/fonts/cmunbx.eot");
    src:url("http://ngnghm.github.io/fonts/cmunbx.eot?#iefix") format("embedded-opentype"),
    url("http://ngnghm.github.io/fonts/cmunbx.woff") format("woff"),
    url("http://ngnghm.github.io/fonts/cmunbx.ttf") format("truetype"),
    url("http://ngnghm.github.io/fonts/cmunbx.svg#cmunbx") format("svg");
    font-weight:bold;
    font-style:normal
}
@font-face{
    font-family:'Computer Modern Serif';
    src:url("http://ngnghm.github.io/fonts/cmunti.eot");
    src:url("http://ngnghm.github.io/fonts/cmunti.eot?#iefix") format("embedded-opentype"),
    url("http://ngnghm.github.io/fonts/cmunti.woff") format("woff"),
    url("http://ngnghm.github.io/fonts/cmunti.ttf") format("truetype"),
    url("http://ngnghm.github.io/fonts/cmunti.svg#cmunti") format("svg");
    font-weight:normal;
    font-style:italic
}
@font-face{
    font-family:'Computer Modern Serif';
    src:url("http://ngnghm.github.io/fonts/cmunbi.eot");
    src:url("http://ngnghm.github.io/fonts/cmunbi.eot?#iefix") format("embedded-opentype"),
    url("http://ngnghm.github.io/fonts/cmunbi.woff") format("woff"),
    url("http://ngnghm.github.io/fonts/cmunbi.ttf") format("truetype"),
    url("http://ngnghm.github.io/fonts/cmunbi.svg#cmunbi") format("svg");
    font-weight:bold;
    font-style:italic
}

html, header, footer, h1, h2, h3, h4, h5, h6, time, .tags {
    font-family: "Computer Modern Sans", "Gill Sans", Verdana, sans
}

body {
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  font-size: 150%;
  line-height: 1.428571429;
}


p, blockquote {
    font-family: "Computer Modern Serif", "Palatino", Georgia, Times, serif;
}

tt, code, kbd {
    font-family: "Computer Modern Typewriter", "Gill Sans", 'Lucida Typewriter', Courier, mono; !important
    color: #FFB; !important
}

.ocaml code { color: #FFBBAA; !important }

/* When highlighted code blocks are too wide, they wrap. Resulting in the */
/* line numbers column's rows not lining up with the code rows. Prevent */
/* wrapping. */
pre {
    white-space: pre;
    width: inherit;
}