:root {
	--bg: #282828;
    --lightbg: #323232;
    --red: #9e2141;
	--orange: #ffa20c;
    --yellow: #ead221;
    --green: #738c8c;
    --fg: #bcc8c1;
}

header {
	display: flex;
	align-items: baseline;
}

header img {
	margin-right: 15px;
	margin-left: 15px;
    height: 50px;
}

body {
/*	font-family: 'Inconsolata', monospace; */
    font-weight: 400;
	line-height: 1.5;
    color: var(--fg);
    background-color: var(--bg);
    font-size: 20px;
}

pre {
	font-size: 1.0em;
	font-family: monospace;
	display: flex;
	/* align-items: center; */
	justify-content: center;
	white-space: pre;
}

code {
    font-size: 1.0em;
    font-family: monospace;
}

sup {
    margin-left: 0.1em;
}

sub {
    margin-left: 0.1em;
}

h1 {
    font-size: 4rem;
    color: var(--red);
    margin-top: 10px;
    margin-bottom: 20px;
}

h2 {
    font-size: 2.5rem;
    color: var(--orange);
	display: block;
	text-align: center;
}

h3 {
    font-size: 2.3rem;
    color: var(--yellow);
}

h4 {
    font-size: 2rem;
    color: var(--orange);
}

h5 {
    font-size: 1.5rem;
}

p {
	text-align: justify;
}

p img {
	width: 100%;
	margin: auto;
}

a {
	color: inherit;
	text-decoration: none;
}

p a {
	font-style: italic;
	color: var(--green);
}

li a {
	font-style: italic;
	color: var(--green);
}

#footer {
    width: 100%;
	text-align: center;
    background-color: var(--lightbg);
    margin-top: 10px;
    padding-top: 25px;
    padding-bottom: 30px;
}

.container {
	margin: auto;
	width: 80%;
}

.katex {
    margin-left: 4px;
    margin-right: 4px;
}

.thm {
    font-style: italic;
    text-align: center;
    color: var(--red);
}