*
{
	color: #A0A0FF;
	font-family: Verdana, sans-serif;
	font-size: 16px;
	margin: 0;
	padding: 0;
}

body
{
	position: absolute;
	left: 0;
	top: 0;
	right: 0;
	bottom: 0;
	background-color: #000000;
	margin: 16px;
	min-width: 816px; /* Space for navigation bar (256 px), main content (512 px), and 3 margins (3 × 16 px). */
	min-height: 816px; /* Space for 2 orange and 12 default navigation buttons (32 px), 13 splitters (16 px), header (64 px), and footer (64 px). */
}

header
{
	position: absolute;
	display: table;
	height: 64px;
	width: 100%;
}

footer
{
	position: absolute;
	bottom: 0;
	display: table;
	height: 64px;
	width: 100%;
}

header h1
{
	display: table-cell; /* For "vertical-align: middle" to work, "display: table-cell" is required. */
	font-size: 24px;
	height: 32px;
	padding-left: 16px;
	padding-right: 16px;
	text-transform: uppercase;
	vertical-align: middle;
	white-space: nowrap;
}

nav
{
	position: absolute;
	top: 0;
	bottom: 0;
	margin-right: 16px;
	width: 256px;
	background-color: #FFFF00;
}

article
{
	position: absolute;
	left: 272px;
	top: 0;
	right: 0;
	bottom: 0;
	margin-left: 16px;
	margin-right: 16px;
	min-width: 512px;
	overflow: auto;
}

article h1
{
	font-size: 20px;
}

article h2
{
	font-size: 18px;
}

article h3
{
	font-size: 16px;
}

table
{
	border-collapse: collapse;
	width: 100%;
}

table th
{
	background-color: #A0A0FF;
	color: #000000;
	font-weight: normal;
}

table tr
{
	border: 1px solid #A0A0FF;
}

table tr td
{
	box-sizing: border-box;
	padding-left: 8px;
	padding-right: 8px;
}

ol
{
	padding-left: 1.5em;
}

ul
{
	padding-left: 1em;
}

strong
{
	color: #FF8000;
}



.TableWithoutHeader tr td:first-of-type
{
	background-color: #A0A0FF;
	color: #000000;
}



/* Header, Footer */
.HeaderFooterElementContainer
{
	display: table-cell;
}

.HeaderElementContainer
{
	vertical-align: top;
}

.FooterElementContainer
{
	vertical-align: bottom;
}

.RightHeaderFooterElementContainer
{
	width: 100%;
}

.LeftHeaderFooterElement
{
	background-color: #FFFF00;
	height: 64px;
	width: 272px;
}

.LeftHeaderElement
{
	border-top-left-radius: 48px;
}

.LeftFooterElement
{
	border-bottom-left-radius: 48px;
}

.LeftHeaderFooterElementCorrection
{
	background-color: #000000;
	left: 256px;
	height: 32px;
	position: relative;
	width: 16px;
}

.LeftHeaderElementCorrection
{
	border-top-left-radius: 16px;
	top: 32px;
}

.LeftFooterElementCorrection
{
	border-bottom-left-radius: 16px;
}

.RightHeaderFooterElement
{
	background-color: #FFFF00;
	border-top-right-radius: 16px;
	border-bottom-right-radius: 16px;
	height: 32px;
	min-width: 32px;
}



/* Body */
.Body
{
	position: absolute;
	top: 64px;
	bottom: 64px;
	width: 100%;
}

.NavigationButtonContainer
{
	background-color: #000000;
	padding-top: 16px;
	padding-bottom: 16px;
}

.HorizontalNavigationButtonSplitter
{
	width: 16px;
}

.VerticalNavigationButtonSplitter
{
	height: 16px;
}

.DefaultNavigationButton
{
	background-color: #FFFF00;
	color: #000000;
	display: block;
	font-size: 16px;
	height: 16px;
	padding-bottom: 8px;
	padding-top: 8px;
	text-align: center;
	text-decoration: none;
	text-transform: uppercase;
	width: 256px;
	white-space: nowrap;
}

.OrangeNavigationButton
{
	background-color: #FF8000;
}

.YellowGreenNavigationButton
{
	background-color: #80FF00;
}

.TemporaryItemNavigationButton
{
	background-color: #FF0080;
}

.LanguageNavigationButton
{
	background-color: #A0A0FF;
}

.SmallNavigationButton
{
	width: 128px;
}

.VerySmallNavigationButton
{
	width: 64px;
}

.RoundNavigationButton
{
	border-radius: 16px;
}

.DisabledNavigationButton
{
	color: #808080;
}

.VeryLongNavigationButton
{
	background-color: #A0A0FF;
	border-radius: 16px;
	width: 512px;
}