/*
	common style for multiple pages
*/

@font-face {
	font-family: "jetbrains_mono";
	src: url("/fonts/JetBrainsMono-Bold.woff2") format("woff2");
}

html {
	scrollbar-color: #b16286 #282828;
	scrollbar-width: thin;
	overscroll-behavior: none;
}

/*
	general
*/

body {
	background: #282828;
	background-image:
		linear-gradient(to right, #b16286 1px, transparent 1px),
		linear-gradient(to bottom, #b16286 1px, transparent 1px);
	background-size: 64px 64px;
	font-family: "Inter", sans-serif;
	font-weight: 700;
	margin-top: 32px;
	margin-bottom: 32px;
	color: #b16286;
	display: grid;
}

img {
	pointer-events: none;
	user-select: none;
}

a,a:visited {
	color: #458588;
	text-decoration: none;
}

p {
	margin: 0;
}

pre {
	margin: 0;
	padding: 0.25rem;
	scrollbar-color: #b16286 #282828;
	scrollbar-width: thin;
	font-weight: bold;
	display: block;
	background: #282828;
	margin-top: 0.75rem;
	margin-bottom: 0.75rem;
}

/*
	main surface
*/

.content {
	box-shadow: 16px 16px black;
	padding: 32px;
	background: #1d2021;
	width: 40%;
	margin: auto;
	min-width: 0;
	font-weight: bold;
}

/*
	codeblocks and inline code
*/

code {
	font-family: "jetbrains_mono", monospace;
}

.codeblock {
	background: #282828 !important;
}

.inline_code {
	background: #3c3836;
	padding-left: 0.25rem;
	padding-right: 0.25rem;
	font-weight: bolder;
	color: #d3869b;
}

.copy_btn {
	display: flex;
	padding: 0.25rem;
	font-weight: bold;
	top: 0.25rem;
	right: 0.25rem;
	background: #282828;
	border: none;
	margin: 0.25rem;
	margin-left: auto;
	color: #b16286;
}

.copy_btn:hover {
	background: #1d2021;
}

/*
	page title
*/

.title {
	font-family: "jetbrains_mono", monospace;
	display: flex;
	margin: 0px;
}

.title h1 {
	display: flex;
	align-items: center;
}

.title span {
	white-space: pre;
}

.separator {
	border: 2px solid #b16286;
}

/*
	cards

	by default, text in cards doesn't have a margin on top,
	but if there should be no margin at all, the text should have the
	`.no_margin` class.
*/

.no_margin {
	margin: 0;
}

.card {
	margin-top: 16px;
	padding: 0.75rem;
	background: #282828;
}

.card h1,
.card h2 {
	margin-top: 0;
}

/*
	mobile overrides
*/

@media (max-width: 1080px) {
	body {
		font-size: 32px;
		margin: 0px;
		background-image: none;
		background: #1d2021;
	}

	.content {
		width: 90%;
		box-shadow: none;
		padding: 0px;
	}

	.copy_btn {
		font-size: 24px;
	}
}