@font-face {
	font-family: "arima";
	src: url("arima.otf");
}

html {
	display: flex;
	height: 100%;
}

body {
	font-family: Arial;
	margin: 24px auto 8px auto;
	display: flex;
	flex-direction: column;
	overflow-x: auto;
}

input {
	border: 1px solid black;
	box-sizing: border-box;
}

.heading {
	max-width: 800px;
	margin: 0;
	display: flex;
	align-items: baseline;
	flex-wrap: wrap;
}

.heading > span.title {
	font-size: 3em;
	line-height: 1em;
	font-weight: bold;
	font-family: "arima", Arial;
	display: inline-block;
}

.heading > span.title span.logo-m {
	color: #47A346;
}

.heading > span.description {
	flex: 50%;
}

.heading > span.description > i {
	float: right;
}

hr {
	display: block;
    height: 1px;
    border: 0;
    border-top: 1px solid black;
    margin: 0 1px 25px 1px;
    padding: 0;
}

.heading > .title > a {
	text-decoration: none;
	color: black;
}

a, a:visited, a:hover, a:active {
	color: #47A346;
	text-decoration: none;
}

button {
	border: 1px solid grey;
	background: #d1cdcd;
	margin: 0 10px 10px 0;
	box-sizing: border-box;
}

.content {
	max-width: 800px;
	margin: 0;
	flex: 1;
}

#formula {
	width: 100%;
	background: transparent;
	padding: 2px 2px 2px 2px;
	font-family: Arial;
	font-size: 1.5em;
	z-index: 1;
	position: relative;
}

#syntax-highlight-container {
	position: relative;
	margin-bottom: 10px;
}

#syntax-highlight {
	position: absolute;
	width: 100%;
	height: 100%;
	border: 1px solid black;
	background: transparent;
	box-sizing: border-box;
	top: 0;
	left: 0;
	padding: 2px 2px 2px 2px;
	font-family: Arial;
	font-size: 1.5em;
	color: transparent;
	z-index: -1;
}

#syntax-highlight .unmatched {
	background: red;
}

.container table {
  border-collapse: collapse;
  border: 1px solid black;
}

.container table td, .container table th {
  border: 1px solid black;
  padding: 10px;
}

.tree-container, .container {
	width: fit-content;
	padding: 0 10px 0 0;
	margin: 0 auto 10px auto;
}

.tree {
	min-height: 20px;
	border: 1px dashed black;
	text-align: center;
}

.tautology {
	background: #8EFFAE;
}

.contradiction {
	background: #FF999F;
}

.contingency {
	background: #FAF6BE;
}

.red {
	background: #FF999F !important;
}

.hidden {
	display: none;
}

pre {
	overflow-y: hidden;
}

.footer {
	max-width: 800px;
	margin: 0 auto 0 auto;
	text-align: center;
	font-size: 0.7em;
}

@media screen and (max-width: 560px) {
	.heading > span.title {
		font-size: 1.5em;
		width: 100%;
	}
}