/* Allow the contents of tables to be broken on whitespaces. Otherwise,
   everything is displayed on one (very long) line.  */
.wy-table-responsive table td,
.wy-table-responsive table th {
    white-space: normal;
}

/* In case everything still does not fit, show the overflowing content */
.wy-table-responsive {
    overflow: visible
}

/* Some of our tables are too wide, enlarge the default width
   (default is 800px). */
.wy-nav-content {
    max-width: 900px;
}

/* Undo most of the customization for the contents of tables. In GNATSAS's
   UG, they contain real (complex) html, and we don't really want special
   cases. */
html.writer-html5 .rst-content table.docutils td > p,
html.writer-html5 .rst-content table.docutils th > p {
    line-height: 22px;
    margin-bottom: 10px;
    margin-top: 10px;
    font-size: 16px;
}
html.writer-html5 .rst-content table.docutils td > div.highlight-ada,
html.writer-html5 .rst-content table.docutils td > div.highlight-none {
    margin-bottom: auto;
}