.rst-content code, .rst-content tt {
  background: inherit;
  border: none;
  padding: 0;  
}
.highlight, .highlight .cs {
  background: inherit;
  padding: 0;
}
.table-nonfluid {
  width: auto !important;
}
div.literal-block-wrapper {
  padding: 0;
  width: 100%;
}
div.code-block-caption {
  border: 1px solid #ccc;
  border-radius: 4px 4px 0px 0px;
  background-color: #f5f5f5;
}
.logo {
  width: 100% !important;
}
p.doc-link-caption {
  margin: 0;
}
.doc-link-caption .headerlink {
  float: right;
}
.mzndoctable table.docutils.align-default, .mzndoctable table.docutils {
  width: 100%;
  table-layout: fixed;
}

.rst-content .mzndoctable table.docutils td {
  white-space: normal;
}

.mzndoctable div.highlight-minizinc.notranslate {
  border: none;
}
.rst-content .mzndoctable div[class^=highlight] {
  border: none;
  margin: 0;
}
.rst-content .mzndoctable div[class^=highlight] pre {
  padding: 0;
}

html.writer-html5 .rst-content table.docutils td p,
.rst-content table.docutils td p,
html.writer-html5 .rst-content table.docutils th p,
.rst-content table.docutils th p {
  font-size: .9rem;
}

.mzncodedoc p {
  margin: 0;
}

table.indextable ul ul {
  padding-left: 15px;
}

.mzn-docitem h1, .mzn-docitem h2, .mzn-docitem h3, .mzn-docitem h4, .mzn-docitem h5 {
  display: none;
}

.mzn-playground-button a {
  font-style: normal;
}

.mzn-playground-button a:visited {
  color: #2980B9;
}

.mzn-playground-button a:hover {
  color: #3091d1;
}