@media screen and (max-width: 800px)
{
	.navbar {
	display: none !important;
	}

	.navbar-guide {
		display: none !important;
	}

	.main {
		margin-left: 0px !important;
	}
}


body {
	font-family			: arial, times, lucida, geneva, sans-serif;
}

a {
	color				: #222288
}

pre {
	border				: solid 1px #ccc;
    padding				: 20px;
	overflow-x			: auto;
	white-space			: pre-wrap;
	max-width			: 100%;
}

:root {
	--navbar-width: 240px;
}

body.content {
	margin				: 0;
	padding				: 0;
}

.content {
	display				: flex;
	min-height			: 100vh;
}

.content .main {
	flex				: 1;
	margin-left			: var(--navbar-width);
	padding				: 0px 20px;
}

.navbar {
	position			: fixed;
	top					: 0;
	left				: 0;
	width				: var(--navbar-width);
	padding				: 20px;
	display				: flex;
	flex-direction		: column;
	height				: 100vh;
	overflow-y			: auto;
	background-color	: #f8f9fa;
	border-right		: 1px solid #e9ecef;
	box-sizing			: border-box;
	gap					: 6px;
}

.letter {
	display				: flex;
	justify-content		: flex-end;
	align-items			: center;
	font-size			: 1.2em;
	color				: #666;
	margin-top			: 5px;
	margin-bottom		: 5px;
	padding-right		: 10px;
	border-bottom		: 1px dotted #ddd;
	padding-bottom		: 5px;
}

.header {
	border				: 1px solid black;
	background-color	: #d0d0f0;
	background			: #d0d0f0;
	color				: 000000;
	padding				: 10px;
	display				: flex;
	justify-content		: space-between;
	align-items			: flex-start;
	font-weight			: bold;
	unicode-bidi		: isolate;
	margin				: 0;
	margin-top			: 20px;
	margin-bottom		: 20px;
}

.header > div:first-child {
	display				: flex;
	flex-direction		: column;
}

.header > div:first-child > div:first-child {
	font-size			: 2em;
}

.header > div:first-child > div:last-child {
	font-size			: 1em;
	font-weight			: normal;
	margin-top			: 5px;
}

.header > div:last-child {
	font-size			: 2em;
	text-align			: right;
}

.bitfields {
	display				: flex;
	flex-direction		: row;
	gap					: 4px;
	padding				: 2px;
	width				: fit-content;
	flex-wrap			: wrap;
}

.bitfields div {
	display				: flex;
	flex-direction		: row;
	
}

.bitfields div div {
	border				: 1px solid #000;
    padding				: 8px 5px 8px 5px;
	border-right		: none;
    margin				: 0px;
}

.bitfields div div:last-child {
	border-right		: 1px solid #000;
}

.jump
{
	text-decoration		: none;
	font-size			: 0.8em;
	color				: #000;
	padding				: 2px;
	cursor				: pointer;
	float				: inline-end;
}


h1 {
	border				: 1px solid black;
	background-color	: #d0d0f0;
	background			: #d0d0f0;
	color				: 000000;
	padding				: 10px;
	font-size			: 180%;
	margin				: 0;
	margin-top			: 20px;
	margin-bottom		: 20px;
}

h2 {
	border				: 1px solid black;
	background-color	: #d0d0f0;
	background			: #d0d0f0;
	color				: 000000;
	padding				: 5px;
	font-size			: 160%;
}

h3 {
	border				: 1px solid black;
	background-color	: #d0d0f0;
	background			: #d0d0f0;
	color				: 000000;
	padding				: 5px;
	font-size			: 140%;
}

h4 {
	border				: 1px solid black;
	background-color	: #d0d0f0;
	background			: #d0d0f0;
	color				: 000000;
	padding				: 5px;
	font-size			: 120%;
}

h5 {
	border				: 1px solid black;
	background-color	: #d0d0f0;
	background			: #d0d0f0;
	padding				: 5px;
	color				: 000000;
}

h6 {
	border				: 1px solid black;
	background-color	: #d0d0f0;
	background			: #d0d0f0;
	padding				: 5px;
	color				: 000000;
}

/* lists */
ul {
	background-color	: #FFFFFF;
	background			: #FFFFFF;
	color				: 882288;
}

li {
	background-color	: #FFFFFF;
	background			: #FFFFFF;
	color				: 000000;
}

div.p table b {
	background-color	: #e8e8ff;
}

table {
	border				: 1px solid #000;
	padding				: 0px;
	margin				: 0px;
	width				: auto;
}

table td {
	border				: 1px solid #000;
	padding				: 2px 5px 2px 5px;
	margin				: 0px;
}

table tr {
	border				: 1px solid #000;
	padding				: 0px;
	margin				: 0px;
}

table th {
	border				: 1px solid #000;
	margin				: 0px;
}

div.idx {
	background-color	: #ffffff;
	color				: 000000;
	text-align			: right;
	font-size			: 80%;
	font-family			: fixed, lucida, arial, geneva, sans-serif;
}

div.idx a {
	color				: 222255;
}
