html, body {
    height: 100%;
    margin: 0;
}

a:hover {
    opacity: 0.77;
}

.container {
	float: left;
	height: auto;
	width: 100%;
}

.logo-link {
	text-decoration: none;
}

.logo-link:hover {
    opacity: 0.7;
}

.MJXc-display {
    text-align: left !important;
    padding: 1em 40px 1em 40px !important;
    margin: 0 !important;
}

.container {
    width: 100%;
    float: left;
    height: auto;
}

/* NAVIGATION */

#header {
    height: 92px;
    padding: 8px;
    box-sizing: border-box;
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
    background: linear-gradient(8deg, rgba(2,0,36,1) 0%, rgb(246 243 253) 0%, rgb(248 248 248) 100%);
    box-shadow: 2px 0px 2px #0000007d;
    -moz-box-shadow: 2px 0px 2px #0000007d;
    -webkit-box-shadow: 2px 0px 2px #0000007d;
}

.nav-main {
    box-sizing: border-box;
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
}

#upper-header {
    box-sizing: border-box;
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
}

#search {
    width: 100%;
    border: none;
    box-sizing: border-box;
    -webkit-box-sizing: border-box;
    -moz-box-sizing: border-box;
    height: 30px;
    line-height: 20px;
    background: #fff;
    padding: 1px 8px 1px 8px;
    font-size: 15px;
    border: 1px solid #878787;
}

#search:focus {
    outline: 1px solid #3100ff;
    box-shadow: inset -1px -1px 3px #dad8e0;
    -moz-box-shadow: inset -1px -1px 3px #dad8e0;
    -webkit-box-shadow: inset -1px -1px 3px #dad8e0;
    outline-offset: 0;
}

/* FOOTER */

#footer {
    margin-top: 800px;
    height: 60px;
    background: linear-gradient(8deg, rgba(2,0,36,1) 0%, rgb(246 243 253) 0%, rgb(248 248 248) 100%);
    border-top: 1px solid #7043ff;
    text-align: center;
    padding: 20px;
    box-sizing: border-box;
    -webkit-box-sizing: border-box;
    -moz-box-sizing: border-box;
    font-size: 14px;
    line-height: 23px;
}

#footer a {
    text-decoration: none;
}

/* LANDING */

#landing-logo-wrapper {
	width: 100%;
	float: left;
	height: auto;
	display: block;
	margin-bottom: 4px;
	display: inline-block;
	margin-bottom: 12px;
}

.indigo {
	background-color: #f0eaff;
	background-blend-mode: luminosity;
}

#landing-search {
	box-shadow: inset 0 1px 2px rgb(0 0 0 / 10%);
	-webkit-box-shadow: inset 0 1px 2px rgb(0 0 0 / 10%);
	-moz-box-shadow: inset 0 1px 2px rgb(0 0 0 / 10%);
	font-family: arial, sans-serif;
	height: 32px;
	width: 100%;
	font-size: 14px;
	padding: 0 8px 0 8px;
	border: none;
	border-radius: 1px;
	background: #efefef;
	box-sizing: border-box;
	-webkit-box-sizing: border-box;
	-moz-box-sizing: border-box;
}

#landing-search:focus {
	outline: 2px solid #3d00ff99;
}

#landing-nav {
	text-align: center;
	line-height: 21px;
    font-size: 17px;
    padding-bottom: 6px;
    display: inline-block;
    line-height: 21px;
    vertical-align: top;
    font-style: italic;
}

.landing-logo-image {
	width: 42px;
	height: 39px;
	display: inline-block;
	background-image: url('/static/thmdex_logo.svg');
	background-size: 100%;
	border: 1px solid #5a5a5b;
	box-sizing: border-box;
	-moz-box-sizing: border-box;
	-webkit-box-sizing: border-box;
	border-radius: 1px;
	margin-right: 8px;
	background-position: center;
}

#content-wrapper {
    padding: 10px;
    box-sizing: border-box;
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
}

/* MISCELLANEOUS */

.square {
    height: 9px;
    width: 9px;
    display: inline-block;
    vertical-align: middle;
}

.color- {
    background: lightgray;
}

.color-0 {
    background: #d8008e;
}

.color-1 {
    background: yellow;
}

.color-2 {
    background: #1ebe7d;
}

.color-3 {
    background: blue;
}

.color-4 {
    background: purple;
}

.color-40 {
    background: white;
    border: 3px solid purple;
    box-sizing: border-box;
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
}

.latex-table {
    border: 1px solid #000;
    border-collapse: collapse;
}

.latex-table thead {
    background: #efefef;
    font-weight: bold;
    font-family: arial sans-serif !important;
}

.latex-table td {
    border: 1px solid #000;
    font-family: monospace;
    padding: 2px 4px 2px 4px;
    font-size: 14px;
}

.latex-table thead td {
    font-family: arial sans-serif !important;
    font-size: 14px;
}

.index-table td {
    vertical-align: top;
}

.algorithm {
    padding: 20px;
}

.indent1 {
    padding-left: 40px;
}

.indent2 {
    padding-left: 80px;
}

.indent3 {
    padding-left: 120px;
}

.indent4 {
    padding-left: 160px;
}

/* SHOW */

.down-arrow {
    /*color: #ac82ff;*/
    color:#b0a1f5;
    margin-right: 3px;
    font-size: 11px;
}

.left-arrow {
    font-size: 11px;
    color: #ac82ff;
    margin-right: 3px;
}

.plain-table {
    border-collapse: collapse;
}

.card {
	max-width: 660px;
    border-right: none;
    padding: 7px;
    box-sizing: border-box;
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
    /*
    box-shadow: 4px 2px 4px rgba(0, 0, 0, .1);
    -moz-box-shadow: 4px 2px 4px rgba(0, 0, 0, .1);
    -webkit-box-shadow: 4px 2px 4px rgba(0, 0, 0, .1);
    */
    border: 1px solid;
    border-image: linear-gradient( 90deg, rgb(112 87 195) 0%, rgb(255 255 255) 100%) 1;
}

.card-header {
    color: gray;
    font-size: 14px;
    margin-bottom: 2px;
}

.card-title {
	font-size: 24px;
    line-height: 24px;
}

.card-content {
    overflow-y: hidden;
}

.section-title {
    /*
    background: rgb(225 225 225);
    background: linear-gradient(90deg, rgb(242 242 242) 0%, rgba(255,255,255,1) 100%);
    */
    background: linear-gradient(90deg, rgba(2,0,36,1) 0%, rgb(246 243 253) 0%, rgb(255 255 255) 100%);
    border-radius: 1px;
    max-width: 660px;
    box-sizing: border-box;
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
    font-size: 20px;
    border: 1px solid;
    border-image: linear-gradient( 90deg, rgb(165 150 213) 0%, rgb(255 255 255) 100%) 1;
    padding-left: 5px;
    margin-bottom: 5px;
    margin-top: 8px;
}

.formulation {
    margin-top: 7px;
}

.formulation-content {
    overflow-y: hidden;
}

.formulation-bg-0, .instance-bg-1 {
    background: #f5f5f5;
    /*
    background: linear-gradient(90deg, rgba(239,239,239,1) 0%, rgba(255,255,255,1) 100%);
    */
    background: linear-gradient(90deg, #f8f6ff 0%, rgba(255,255,255,1) 100%);
}

.instance-bg-2 {
    /*background: #fffbec;*/
    font-style: italic;
}

.formulation-bg-1, .instance-bg-1 {
    background: #ffffff;
}

/* CARD CONTENT */

.large-list-table td {
    vertical-align: middle;
}

.large-list-table .MJXc-display {
    text-align: left !important;
    padding: 0 !important;
    margin: 0 !important;
}

.large-list-table td {
    vertical-align: text-top;
}

/* EDIT, UPDATE, NEW, CREATE */

.new-item-title {
    font-size: 22px;
}

/* SEARCH */

.search-column {
    width: 32%;
    overflow: hidden;
    display: inline-grid;
    position: relative;
}

.search-table {
    border-collapse: collapse;
    width: 100%;
    font-size: 13px;
    float: left;
}

.search-table thead td {
    text-align: left;
    background: #efe9ff;
    font-size: 17px;
}

.search-table tr {
    /*background: #f5f5f5;
    background: linear-gradient(90deg, #f8f6ff 0%, rgba(255,255,255,1) 100%);*/
    background: #f8f6ff;
    border: 1px solid #9f94c5;
}

.search-table-id-col {
    min-width: 50px;
}

.search-table-name-col {
    white-space: nowrap;
    overflow: hidden;
    max-width: 400px;
}

.embedded-search-table td {
    white-space: nowrap;
}

#embedded-search-results-container {
    max-height: 300px;
    overflow: scroll;
    padding-bottom: 100px;
}

/* MISC */

.data-table {
    border-collapse: collapse;
    max-width: 700px;
}

.data-table thead {
    font-weight: bold;
}

.data-table td {
    background: #f8f6ff;
    border: 1px solid #9f94c5;
    padding: 3px; 
    vertical-align: top;
    text-align: left;
}

.data-table-col-padding {
    padding-right: 60px !important;
}

.data-table-empty-row td {
    height: 23px;
}

.page-title {
    font-size: 22px;
    margin-bottom: 8px;
}

.spacing-block {
    min-width: 55px;
    text-align: right;
    display: inline-block;
}

/* PROOFS */

.proofs {
    max-width: 660px;
}

/* ALGORITHMS */

.algorithm-table {
    border-top: 3px solid #000;
    border-bottom: 3px solid #000;
}

@media (max-width: 640px) {
    .card-content, .formulation-content {
        overflow-x: scroll;
    }
}