/*
 * Monochrome is a simple, responsive blog theme built for Jekyll.
 */
/*- Base reset -*/
* {
  -webkit-box-sizing: border-box;
  -moz-box-sizing: border-box;
  box-sizing: border-box; }

html, body, h1, h2, h3, h4, h5, h6, p, ul, ol, li, img {
  margin: 0;
  padding: 0;
  border: 0; }

/*- Base color -*/
/*- Base settings -*/
html {
  background-color: #FFFFFF;
  font-size: 16px;
  line-height: 1.8;
  color: #333333; }
  @media (min-width: 940px) {
    html {
      font-size: 18px; } }

body {
  max-width: 1000px;
  margin: 0 auto;
  padding: 0 10px; }

/*- Link -*/
a {
  color: #333333;
  text-decoration: none;
  font-weight: 700; }
  a:hover, a:focus {
    color: #262626; }

/* Common classes */
.f-right {
  float: right; }

.f-left {
  float: left; }

.clear {
  clear: both; }

.parent {
  display: flex; }

.inner {
  align-self: center; }

.justify-center {
  justify-content: center; }

.justify-spaceBetween {
  justify-content: space-between; }

.w100 {
  width: 100%; }

.h100 {
  height: 100%; }

.wh100 {
  width: 100%;
  height: 100%; }

.absolute {
  position: absolute; }

.relative {
  position: relative; }

.top {
  top: 0; }

.bottom {
  bottom: 0; }

.right {
  right: 0; }

.left {
  left: 0; }

/*- Typography -*/
body {
  font-family: "Roboto", "Helvetica Neue", "Helvetica", "Arial", sans-serif;
  font-style: normal;
  font-weight: 400;
  font-size: 16px;
  color: #333; }

/*- Typography for medium and small screen, based on 16px font-size -*/
p, ul, ol {
  font-size: 1em;
  /* 16px */
  line-height: 1.8em;
  margin-bottom: 1.5em;
  /* 24px/16px */ }

h1 {
  font-size: 2.25em;
  /* 36px/16px */
  line-height: 1.8em;
  padding: 0.33335em 0;
  /* 12px/36px * 2 (Use padding instead of margin to maintain proximity with paragraph) */ }

h2 {
  font-size: 1.5em;
  /* 24px/16px */
  line-height: 1.8em;
  padding: 1em 0 0 0;
  /* 12px/24px * 2, only top (Use padding instead of margin to maintain proximity with paragwithph) */ }

h3, h4, h5, h6 {
  font-size: 1.125em;
  /* 18px/16px */
  line-height: 1.8em;
  padding: 0.66667em 0;
  /* 12px/18px * 2 (Use padding instead of margin to maintain proximity with paragraph) */ }

blockquote {
  font-style: italic;
  margin: 1.5em;
  /* 24px/18px */
  -webkit-border-radius: 4px;
  -moz-border-radius: 4px;
  -ms-border-radius: 4px;
  border-radius: 4px;
  background-color: #f2f2f2;
  padding: 0 1.5em;
  /* 24px/18px */ }
  blockquote p, blockquote ul, blockquote ol {
    padding: 1.5em 0;
    /* 24px/18px */ }

/*- Typography for big screen, based on 18px font-size -*/
@media (min-width: 940px) {
  p, ul, ol {
    font-size: 1em;
    /* 18px */
    line-height: 1.8em;
    margin-bottom: 1.3334em;
    /* 24px/18px */ }

  h1 {
    font-size: 2.6667em;
    /* 48px/18px */
    line-height: 1.8em;
    padding: 0.25em 0;
    /* 12px/48px * 2 (Use padding instead of margin to maintain proximity with paragraph) */ }

  h2 {
    font-size: 2em;
    /* 36px/18px */
    line-height: 1.8em;
    padding: 0.66667em 0 0 0;
    /* 12px/36px * 2, pnly top (Use padding instead of margin to maintain proximity with paragraph) */ }

  h3, h4, h5, h6 {
    font-size: 1.3334em;
    /* 24px/18px */
    line-height: 1.8em;
    padding: 0.5em 0;
    /* 12px/24px * 2 (Use padding instead of margin to maintain proximity with paragraph) */ }

  blockquote {
    font-style: italic;
    margin: 1.3334em;
    /* 24px/18px */
    -webkit-border-radius: 4px;
    -moz-border-radius: 4px;
    -ms-border-radius: 4px;
    border-radius: 4px;
    background-color: #f2f2f2;
    padding: 0 1.33334em;
    /* 24px/18px */ }
    blockquote p, blockquote ul, blockquote ol {
      padding: 1.33334em 0;
      /* 24px/18px */ } }
/* -- General Layout -- */
/* Navigation */
#nav a, #nav-left a {
  display: block;
  color: #333333;
  padding: 0.33334em 0;
  font-size: 1.5em;
  font-weight: 400; }
  @media (min-width: 940px) {
    #nav a, #nav-left a {
      font-size: 1em; } }
  #nav a:hover, #nav-left a:hover {
    background-color: rgba(13, 13, 13, 0.6); }
#nav span, #nav-left span {
  font-weight: 200; }

#nav {
  width: 14rem;
  position: fixed;
  background-color: #FFFFFF;
  top: 0;
  bottom: 0;
  right: -14rem;
  color: #FFFFFF;
  opacity: 0.95;
  -webkit-transition: all 0.3s ease-in;
  -moz-transition: all 0.3s ease-in;
  -ms-transition: all 0.3s ease-in;
  transition: all 0.3s ease-in;
  z-index: 1;
  padding: 72px 0;
  text-align: center; }

#nav-left {
  width: 14rem;
  position: fixed;
  background-color: #FFFFFF;
  top: 0;
  bottom: 0;
  left: -14rem;
  color: #FFFFFF;
  opacity: 0.95;
  -webkit-transition: all 0.3s ease-in;
  -moz-transition: all 0.3s ease-in;
  -ms-transition: all 0.3s ease-in;
  transition: all 0.3s ease-in;
  z-index: 1;
  padding: 72px 0;
  text-align: center; }

/* Toggle class to open menu */
#nav.menu-open {
  -webkit-transform: translateX(-14rem);
  -moz-transform: translateX(-14rem);
  -ms-transform: translateX(-14rem);
  transform: translateX(-14rem);
  width: 100%; }
  @media (min-width: 940px) {
    #nav.menu-open {
      width: 30%; } }

#nav-left.menu-open-left {
  -webkit-transform: translateX(14rem);
  -moz-transform: translateX(14rem);
  -ms-transform: translateX(14rem);
  transform: translateX(14rem);
  width: 100%; }
  @media (min-width: 940px) {
    #nav-left.menu-open-left {
      width: 30%; } }

@media (max-width: 940px) {
  #nav-links {
    display: none; } }
#nav-links a {
  padding-left: 10px;
  color: #333333;
  font-weight: 300; }

/* Separator after menu */
#nav-list:after {
  display: block;
  content: '';
  width: 5rem;
  height: 1px;
  margin: 23px auto;
  background-color: #333333; }

/* Icon menu */
#nav-menu {
  display: block;
  position: fixed;
  top: 35px;
  right: 25px;
  z-index: 10;
  height: 24px; }
  @media (min-width: 940px) {
    #nav-menu {
      display: none; } }

#nav-menu-left {
  display: block;
  position: fixed;
  top: 35px;
  left: 25px;
  z-index: 10;
  height: 24px; }
  @media (min-width: 940px) {
    #nav-menu-left {
      display: none; } }

#menu {
  height: 4px;
  width: 1.5em;
  background-color: #333333;
  margin-top: 8px; }
  #menu:after, #menu:before {
    content: "";
    display: block;
    position: relative;
    height: 4px;
    width: 1.5em;
    background-color: #333333;
    transition: all 0.3s ease-in; }
  #menu:before {
    top: -8px; }
  #menu:after {
    top: 4px; }
  #menu.btn-close {
    background: none; }
  #menu.btn-close:before {
    top: 0;
    -webkit-transform: rotate(-45deg);
    -moz-transform: rotate(-45deg);
    -ms-transform: rotate(-45deg);
    transform: rotate(-45deg);
    background-color: #333333; }
  #menu.btn-close:after {
    top: -4px;
    -webkit-transform: rotate(45deg);
    -moz-transform: rotate(45deg);
    -ms-transform: rotate(45deg);
    transform: rotate(45deg);
    background-color: #333333; }

/* Main content */
.fixed {
  position: fixed;
  width: 100%; }
  @media (min-width: 940px) {
    .fixed {
      position: static; } }

#container {
  margin: 0 auto; }

#header {
  border-bottom: 1px solid rgba(0, 0, 0, 0.14);
  text-align: center;
  margin-bottom: 3em;
  height: 5em;
  position: relative; }
  #header a {
    text-decoration: none;
    display: inline-block; }
  #header div {
    margin: 0 auto; }
  #header h1 {
    font-size: 2em;
    padding-bottom: 0; }
    #header h1 span {
      color: rgba(0, 0, 0, 0.6);
      font-weight: 300; }

/* Posts */
#posts li {
  list-style-type: none; }

#post-page {
  margin-bottom: 1.5em; }
  @media (min-width: 940px) {
    #post-page {
      margin-bottom: 1.3334em; } }

.post + .post:before {
  display: block;
  content: '';
  width: 5rem;
  height: 1px;
  margin: 23px auto;
  background-color: #e6e6e6; }

.by-line {
  display: block;
  color: #737373;
  line-height: 1.8em;
  margin-bottom: 1.5em;
  /* 24px/16px */
  font-weight: 200; }
  @media (min-width: 940px) {
    .by-line {
      display: block;
      color: #737373;
      line-height: 1.8em;
      margin-bottom: 1.3334em;
      /* 24px/18px */
      font-weight: 200; } }

img {
  max-width: 100%;
  display: block;
  margin: 0 auto;
  margin-bottom: 24px;
  -webkit-border-radius: 4px;
  -moz-border-radius: 4px;
  -ms-border-radius: 4px;
  border-radius: 4px; }

img[title="Monochrome"] {
  box-shadow: 0 2px 6px #ddd; }

code {
  color: #8c8c8c;
  background-color: white; }

/* Set the vertical rhythm (and padding-left) for lists inside post content */
.content ul, .content ol {
  line-height: 1.8em;
  padding-left: 1.5em; }
  @media (min-width: 940px) {
    .content ul, .content ol {
      line-height: 1.8em; } }

/* Pages */
#page ul, #page ol {
  padding-left: 1.5em; }

/* Paginator */
.pagination {
  text-align: center;
  margin: 2.666668em; }
  .pagination span {
    background-color: #f2f2f2;
    color: #333333; }
  .pagination a:hover {
    background-color: #404040; }

.page-item {
  background-color: #4d4d4d;
  color: #FFFFFF;
  padding: 4px 8px;
  font-weight: 400;
  padding: 0.5em 1em;
  -webkit-border-radius: 4px;
  -moz-border-radius: 4px;
  -ms-border-radius: 4px;
  border-radius: 4px; }

/* Footer */
footer {
  background-color: #FFFFFF;
  color: #333333;
  text-align: center;
  padding: 0.6667em 0; }

/*
 * A Github stylesheet to highlight code snippet
 * https://github.com/mojombo/tpw/blob/master/css/syntax.css
 */
.lineno {
  color: #bfbfbf;
  margin-right: 1em; }

.highlight .c {
  color: #999988;
  font-style: italic; }

/* Comment */
.highlight .err {
  color: #a61717;
  background-color: #e3d2d2; }

/* Error */
.highlight .k {
  font-weight: bold; }

/* Keyword */
.highlight .o {
  font-weight: bold; }

/* Operator */
.highlight .cm {
  color: #999988;
  font-style: italic; }

/* Comment.Multiline */
.highlight .cp {
  color: #999999;
  font-weight: bold; }

/* Comment.Preproc */
.highlight .c1 {
  color: #999988;
  font-style: italic; }

/* Comment.Single */
.highlight .cs {
  color: #999999;
  font-weight: bold;
  font-style: italic; }

/* Comment.Special */
.highlight .gd {
  color: #000000;
  background-color: #ffdddd; }

/* Generic.Deleted */
.highlight .gd .x {
  color: #000000;
  background-color: #ffaaaa; }

/* Generic.Deleted.Specific */
.highlight .ge {
  font-style: italic; }

/* Generic.Emph */
.highlight .gr {
  color: #aa0000; }

/* Generic.Error */
.highlight .gh {
  color: #999999; }

/* Generic.Heading */
.highlight .gi {
  color: #000000;
  background-color: #ddffdd; }

/* Generic.Inserted */
.highlight .gi .x {
  color: #000000;
  background-color: #aaffaa; }

/* Generic.Inserted.Specific */
.highlight .go {
  color: #888888; }

/* Generic.Output */
.highlight .gp {
  color: #555555; }

/* Generic.Prompt */
.highlight .gs {
  font-weight: bold; }

/* Generic.Strong */
.highlight .gu {
  color: #aaaaaa; }

/* Generic.Subheading */
.highlight .gt {
  color: #aa0000; }

/* Generic.Traceback */
.highlight .kc {
  font-weight: bold; }

/* Keyword.Constant */
.highlight .kd {
  font-weight: bold; }

/* Keyword.Declaration */
.highlight .kp {
  font-weight: bold; }

/* Keyword.Pseudo */
.highlight .kr {
  font-weight: bold; }

/* Keyword.Reserved */
.highlight .kt {
  color: #445588;
  font-weight: bold; }

/* Keyword.Type */
.highlight .m {
  color: #009999; }

/* Literal.Number */
.highlight .s {
  color: #d14; }

/* Literal.String */
.highlight .na {
  color: #008080; }

/* Name.Attribute */
.highlight .nb {
  color: #0086B3; }

/* Name.Builtin */
.highlight .nc {
  color: #445588;
  font-weight: bold; }

/* Name.Class */
.highlight .no {
  color: #008080; }

/* Name.Constant */
.highlight .ni {
  color: #800080; }

/* Name.Entity */
.highlight .ne {
  color: #990000;
  font-weight: bold; }

/* Name.Exception */
.highlight .nf {
  color: #990000;
  font-weight: bold; }

/* Name.Function */
.highlight .nn {
  color: #555555; }

/* Name.Namespace */
.highlight .nt {
  color: #000080; }

/* Name.Tag */
.highlight .nv {
  color: #008080; }

/* Name.Variable */
.highlight .ow {
  font-weight: bold; }

/* Operator.Word */
.highlight .w {
  color: #bbbbbb; }

/* Text.Whitespace */
.highlight .mf {
  color: #009999; }

/* Literal.Number.Float */
.highlight .mh {
  color: #009999; }

/* Literal.Number.Hex */
.highlight .mi {
  color: #009999; }

/* Literal.Number.Integer */
.highlight .mo {
  color: #009999; }

/* Literal.Number.Oct */
.highlight .sb {
  color: #d14; }

/* Literal.String.Backtick */
.highlight .sc {
  color: #d14; }

/* Literal.String.Char */
.highlight .sd {
  color: #d14; }

/* Literal.String.Doc */
.highlight .s2 {
  color: #d14; }

/* Literal.String.Double */
.highlight .se {
  color: #d14; }

/* Literal.String.Escape */
.highlight .sh {
  color: #d14; }

/* Literal.String.Heredoc */
.highlight .si {
  color: #d14; }

/* Literal.String.Interpol */
.highlight .sx {
  color: #d14; }

/* Literal.String.Other */
.highlight .sr {
  color: #009926; }

/* Literal.String.Regex */
.highlight .s1 {
  color: #d14; }

/* Literal.String.Single */
.highlight .ss {
  color: #990073; }

/* Literal.String.Symbol */
.highlight .bp {
  color: #999999; }

/* Name.Builtin.Pseudo */
.highlight .vc {
  color: #008080; }

/* Name.Variable.Class */
.highlight .vg {
  color: #008080; }

/* Name.Variable.Global */
.highlight .vi {
  color: #008080; }

/* Name.Variable.Instance */
.highlight .il {
  color: #009999; }

/* Literal.Number.Integer.Long */
/*- Custom style -*/
.link-special {
  padding: 5px;
  border: 1px solid black; }

body {
  max-width: 1600px; }

ul, ol {
  margin-left: 30px; }

ul ul {
  margin-bottom: 0px; }

ul ul li a {
  font-weight: normal; }

ul ul ul li a {
  font-style: italic; }

h1 {
  border-top: 5px solid #000000; }

h2 {
  border-top: 2px solid #000000; }

h3 {
  margin-right: 1em;
  border-top: 1px solid #000000; }

h6 {
  font-style: italic;
  font-weight: normal;
  line-height: 1em;
  padding-top: 0em;
  margin-top: 0em;
  padding-bottom: 1em; }

div.highlight {
  margin-left: 30px;
  margin-right: 30px;
  font-size: 85%;
  background: #eeeeee;
  padding-left: 10px;
  padding-right: 10px;
  margin-bottom: 25px;
  display: inline-block;
  min-width: calc(100% - 60px); }

code {
  color: #222222;
  background: none; }

code.highlighter-rouge {
  font-size: 85%;
  line-height: 85%; }

li {
  line-height: 150%; }

p {
  line-height: 135%; }

table {
  padding-left: 30px;
  padding-bottom: 30px;
  max-width: calc(100% - 30px); }

table th {
  padding-left: 15px;
  padding-right: 15px;
  overflow-wrap: break-word; }

table td {
  padding-left: 10px;
  padding-right: 10px;
  overflow-wrap: break-word; }

table tr:nth-child(even), table tr:nth-child(even) td, table tr:nth-child(even) th {
  background: #eeeeee; }

table tr:nth-child(odd), table tr:nth-child(odd) td, table tr:nth-child(even) th {
  background: #dddddd; }

a {
  color: #bb0000; }

a:hover {
  color: #eab72c; }

h1#ensmallen-documentation {
  text-align: center;
  border-top: none;
  padding-top: 0; }

div.MathJax_Display {
  color: #000000; }

#ens_header {
  display: block;
  padding: 0;
  margin: 0;
  width: 100%; }

@media (max-width: 940px) {
  #ens_header {
    margin-bottom: 20px;
    border-bottom: 5px solid #bb0000; } }
#ens_header_row {
  display: flex;
  padding: 0;
  margin: 0;
  align-items: center; }

#ens_header_cell_logo_img {
  /*   border: 1px solid #999999; */
  flex: 9;
  vertical-align: bottom;
  text-align: right;
  padding-top: 1.0em; }

#ens_header_spacer {
  flex: 1; }

#ens_logo_img {
  /*   border: 1px solid #999999; */
  max-width: 100%;
  max-height: 100%; }

#ens_header_cell_logo_txt {
  /*   border: 1px solid #999999; */
  flex: 90;
  text-align: left;
  line-height: 150%; }

#nav-links {
  background: #dddddd;
  padding-top: 5px;
  padding-bottom: 5px;
  padding-left: 50px;
  margin-bottom: 2em; }

#nav-links a {
  color: #bb0000;
  font-weight: bold;
  padding-left: 5px;
  padding-right: 5px;
  padding-bottom: 3px;
  padding-top: 5px;
  margin-left: 5px;
  margin-right: 5px;
  font-size: 110%; }

#nav-links a:hover {
  color: #eab72c;
  font-weight: bold; }

#nav-links a.active:hover {
  color: #bb0000;
  font-weight: bold; }

#nav-links a.active {
  border-bottom: 5px solid #bb0000; }

@media (min-width: 940px) {
  #nav.menu-open {
    display: none; } }
details {
  margin-bottom: 1em; }

summary {
  padding-left: 10px;
  padding-right: 10px;
  margin-right: 30px;
  margin-left: 30px;
  background: #ccc; }

summary p {
  display: inline;
  font-style: italic; }