style.css

html
{
	background-color: rgb(32, 32, 32);
	color: white;
	font-family: Arial, Helvetica, sans-serif;
	margin: 0;
}

body
{
	/* grid-template-columns: 1fr 1fr; */
	/* grid-auto-flow: column; */
	margin: 0;
}


.layout
{
	position: fixed;
	display: grid;
	/* grid-template-columns: 1fr auto; */
	grid-template-rows: auto 1fr;
	width: 100%;
	height: 100%;
}

.options
{
	padding: 1em;
	display: grid;
	grid-auto-flow: column;
	gap: 1em;
	align-items: center;
	grid-template-columns: auto auto auto auto auto 1fr;
	grid-template-areas: "label notation parentheses symbol truthtable";
	background-color: rgb(46, 46, 46);
	box-shadow: 0em 0em 1em rgba(0, 0, 0, 0.356);
	z-index: 1;
}
@media screen and (max-width: 45em)
{
	.options
	{
		grid-auto-flow: dense;
		grid-template-columns: auto auto 1fr;
		grid-template-areas: "label label notation"
			"parentheses symbol truthtable";
	}
}
#notation-label
{
	grid-area: label;
}
#notation-selection
{
	grid-area: notation;
}
#show-all-parentheses
{
	grid-area: parentheses;
}
#use-non-text-symbols
{
	grid-area: symbol;
}
#show-truth-table
{
	grid-area: truthtable;
}

.formula-area
{
	display: grid;
	grid-template-columns: 1fr auto;
	position: relative;
	width: 100%;
	height: 100%;
	min-height: 0;
}
#scroll-container
{
	width: 100%;
	height: 100%;
	overflow: auto;
}

.truth-table.formula-editor
{
	height: calc(100% - 2em);
	max-width: 50vw;
	overflow: auto;
	border-radius: 0;
	border-bottom-right-radius: 0;
	box-shadow: 0em 0em 1em rgba(0, 0, 0, 0.356);
	transition: transform .3s;
}
#show-truth-table
{
	display: none;
}

@media screen and (max-width: 70em)
{
	.truth-table.formula-editor
	{
		position: absolute;
		top: 0;
		right: 0;
		transform: translate(110%, 0);
		max-width: calc(100% - 2em);
	}
	.truth-table.show
	{
		transform: translate(0%, 0);
	}
	#show-truth-table
	{
		display: unset;
	}
}


.container
{
	display: grid;
	grid-template-columns: repeat(auto-fit, minmax(30em, 1fr));
	/* grid-template-columns: repeat(auto-fit, fit-content(1fr)); */
	gap: 1em;
	padding: 1em;
	width: calc(100% - 2em);
}
@media screen and (max-width: 70em)
{
	.container
	{
		grid-template-columns: 1fr;
	}
}

input, select, .formula, button
{
	background-color: rgb(29, 29, 29);
	color: white;
	border: none;
	font-size: 1em;
	outline: none;
	border-radius: 0.3em;
	padding: 0.3em 0.5em;
	transition: background-color .2s;
}

.close
{
	padding: 0.04em;
	grid-area: close;
	border-radius: 1em;
	width: 1.2em;
	height: 1.2em;
	font-size: 1.1em;
	transform: rotate(45deg);
	/* animation: rotate forwards infinite 20s linear; */
}
.close:hover
{
	background-color: rgb(75, 34, 34);
}

.toggle
{
	font-family: consolas, monospace;
	background-color: rgba(0, 0, 0, 0);
	color: hsl(0, 0%, 63%);
	transition-duration: .2s;
}
.toggle.active
{
	background-color: rgba(0, 0, 0, 0.445);
	color: rgb(67, 170, 255);
}

select
{
	display: inline-block;
	font-family: Consolas, monospace;
	min-width: 0;
	padding: 0.3em 0.5em;
}



.formula-editor
{
	background-color: rgb(46, 46, 46);
	display: grid;
	grid-template-areas: 
		"title close"
		"input input"
		"formula formula";
	grid-template-columns: 1fr auto;
	min-height: 0;
	height: fit-content;
	padding: 1em;
	height: auto;
	width: auto;
	min-width: 0;
	min-height: 0;
	border-radius: 0.3em;
	gap: 0.5em;
}
.add
{
	display: grid;
	grid-template-areas: none;
	grid-template-columns: none;
	grid-template-rows: none;
	color: hsl(0, 0%, 61%);
	justify-content: center;
	align-content: center;
	cursor: default;
	user-select: none;
	transition: background-color .2s, color .2s;
}
.add > *
{
	font-size: 5em;
}
.add:hover
{
	background-color: rgb(68, 68, 68);
	color: rgb(67, 170, 255);
}


.formula-interpretation
{
	grid-area: formula;
}
.formula-input
{
	grid-area: input;
}

.formula
{
	--operator-color: hsl(352, 100%, 66%);
	--variable-color: hsl(207, 100%, 63%);
	display: inline-block;
	font-family: Consolas, monospace;
	padding: 0.5em 0.7em;
	white-space: pre;
}
.formula:not(input)
{
	overflow: auto;
}
.formula::-webkit-scrollbar
{
  height: 0.5em;
}
.formula *
{
	display: inline-block;
}

.variable
{
	color: var(--variable-color);
}
.operator
{
	color: var(--operator-color);
}

table
{
	text-align: center;
}

table td
{
	/* width: 1em;
	height: 1em; */
	background-color: rgb(29, 29, 29);
	padding: 0.3em 0.5em;
	border-radius: 0.1em;
}

.true
{
	background-color: rgb(39, 71, 39);
}
.false
{
	background-color: rgb(70, 42, 42);
}



::-webkit-scrollbar
{
	width: 1em;
}
::-webkit-scrollbar-track
{
	background: hsl(0, 0%, 10%); 
}
::-webkit-scrollbar-thumb
{
	background: hsl(0, 0%, 25%); 
}
::-webkit-scrollbar-thumb:hover
{
	background: hsl(0, 0%, 21%); 
}
::-webkit-scrollbar-corner{
	background: hsl(0, 0%, 10%); 
}