body {
	font-size: 0.9rem;
    font-family: Arial, Helvetica, sans-serif;
	margin: 0;
}

table {
    width: fit-content;
    border-collapse: collapse;
    margin: 20px 0;
    font-family: sans-serif;
}

td {
    border: 1px solid #444;
    padding: 1px 5px 1px 5px;
    text-align: left;
}

a {
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

pre {
	display: block;
	padding: 0.7rem;
	margin: 1.5rem 0;
	overflow-x: auto;
	
	tab-size: 4;
    -moz-tab-size: 4;

	font-family: 'Fira Code', 'Courier New', Courier, monospace;
	line-height: 1.5;
	color: #333;

	background-color: #f4f4f4;
	border: 1px solid #ddd;
	border-radius: 6px;

	word-spacing: normal;
    word-break: normal;
}

:not(pre) > code {
	display: inline-block;
	padding: 0.1em 0.4em;
	margin: 0 0.2em;

	font-size: 0.85em;
	font-family: 'Fira Code', 'Courier New', Courier, monospace;
	
	background-color: #f4f4f4;
	border: 1px solid #ddd;
	border-radius: 4px;

	white-space: break-spaces;
}

.hl-keyword { color: #d73a49; font-weight: bold; font-style: normal; }
.hl-type { color: #005cc5; font-style: normal; }
.hl-id { color: #6f42c1; font-style: normal; }
.hl-bk { color: #6f42c1; font-weight: bold; font-style: normal; }
.hl-string { color: #032f62; font-style: normal; }
.hl-number { color: #e36209; font-style: normal; }
.hl-bool, .hl-nil { color: #d73a49; font-style: normal; }
.hl-punct, .hl-vararg { color: #6a737d; font-style: normal; }
.codeblock, .cheatsheet { color: #6a737d; font-style: italic; }

.whole-body {
	width: 100%;
	min-height: 100vh;
	display: flex; 
	align-items: stretch;
	justify-content: left;
}

.right-bar {
	width: 200px;
	display: flex;
	flex-direction: column;
	padding: 10px 10px;
	background: #a9c6e6;
	margin-right: 1rem;
}

.right-bar h2 { color: #396a9f; margin-bottom: 10px; }
.right-bar a { color: #396a9f; margin-left: 1rem; }

.doc-image {
	margin: 10px 0px;
	border: 1px black solid;
}


.warning-box {
	color: orange;
	background: #fff7ee;
	padding: 10px;
	border: 1px solid orange;
	margin-bottom: 15px;
}

.error-box {
	color: red;
	background: #ffeeee;
	padding: 10px;
	border: 1px solid red;
	margin-bottom: 15px;
}

.success-box {
	color: green;
	background: #eeffee;
	padding: 10px;
	border: 1px solid green;
	margin-bottom: 15px;
}