@import url("/theme.css");

@font-face {
   font-family: "Pragmasevka";
   src: url("/style/small-pragmasevka-webfont.woff2") format("woff2");
}

:root {
	--indent:       0.9rem;
	--nav-size:     1.3rem;
	--heading-size: 1.4rem;
	--normal-size:  1.1rem;
}

body {
   font-family: "Pragmasevka", monospace;
   font-size: var(--normal-size);
	font-weight: 400;
	tab-size: 3;

	background-color: var(--colour1);
	color: var(--colour3);
	max-width: 120ch;
	padding: 1.3rem;
	margin: 0 auto;
}

h1 {
	font-size: var(--heading-size);
	padding-bottom: 0.5rem;
	margin: 0.75rem 0;
	border-bottom: 2px solid var(--colour3);
}

h2 {
	font-size: var(--heading-size);
	padding-top: 10px;
	margin-bottom: 2px;
	margin-top: 10px;
}

h3 {
	font-size: calc(var(--heading-size) - 0.2rem);
	margin: 8px 0 8px var(--indent);
	padding-left: 1rem;
}

p {
	margin: 8px 0 12px var(--indent);
	padding-left: 1rem;
}

a {
	text-decoration: none;
	font-weight: bold;
	color: var(--colour6);
	white-space: nowrap; /* never line-break inside links */
	border-bottom: 2px dashed transparent;
	transition: border-color 0.2s ease;
}

a:hover {
	border-color: var(--colour6);
}

table {
}

th {
	text-align: left;
	border-bottom: 2px solid var(--colour3);
	border-spacing: 1em;
}



/* colours */
i { font-style: italic; }
b { color: var(--colour10); }
s { color: var(--colour2); }
c { color: var(--colour8); }

code {
	display: flex;
}

code > pre {
	display: inline-block;
	flex-grow: 1;

	font-size: calc(var(--normal-size) - 0.1rem);
	background-color: var(--colour0);

	padding: 1rem;
	padding-top: 0.8rem;
	margin: 0.25rem 0.5rem;

	border-radius: 0.75em;
	box-shadow: 0.25em 0.15em 1.25em -0.25em var(--colour0);
}



/* classes */
.block {
	margin-bottom: 12px;
	margin-top: 8px;
}

.block p {
	margin: 0 0 5px var(--indent);
}

.quote {
	padding: 2px 0 2px 1rem;
	margin-left: calc(var(--indent) + 1rem);
	margin-bottom: 4px;

	border-left: 2px solid var(--colour3);
}

.quote p {
	margin: 0;
	padding: 0;
}

.footer {
	display: flex;
	justify-content: center;
	text-align: center;
	align-items: center;
	height: 15px;
	padding-top: 10px;

	font-size:   0.85rem;
}



/* navbar stuff */
.navbar {
	overflow: hidden;
	background-color: var(--colour0);
	border-radius: 0.75em;
	margin-bottom: 1em;
}

.navbar a {
	float: left;
	gap: 1.5rem;
	font-size: var(--nav-size);
	color: var(--colour3);
	text-align: center;
	padding: 14px 16px;
	text-decoration: none;
	border: none;
	transition: background-color 0.2s ease;
}

.dropdown {
	float: right;
	overflow: hidden;
}

.dropdown button {
	font-size: var(--nav-size);
	font-weight: bold;
	font-family: inherit;

	border: none;
	outline: none;

	color: var(--colour3);
	background-color: inherit;

	padding: 14px 16px;
	padding-right: 1em;
	margin: 0;
	transition: background-color 0.2s ease;
}

.navbar a:hover, .dropdown:hover button {
	background-color: var(--colour10);
}

.dropdown-content {
	display: none;
	position: absolute;
	background-color: var(--colour0);
	min-width: 160px;
	box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
	z-index: 1;
}

.dropdown-content a {
	float: none;
	color: var(--colour3);
	padding: 12px 16px;
	text-decoration: none;
	display: block;
	text-align: left;
	transition: background-color 0.2s ease;
}

.dropdown-content a:hover {
	background-color: var(--colour2);
}

.dropdown:hover .dropdown-content {
	display: block;
}