/************************
/*   Simple menu,       *
/*   Fixed,             *
/*   On the left        *
/************************/

html, body
{
	width: 100%;
	height: 100%;
	margin: 0px;
	padding: 0px;
}

#menu
{
	width: 200px;
	height: 100%;
	margin: 0px 5px 0px 0px;
	padding: 0px;
	position: fixed;
	overflow-x: hidden;
	overflow-y: scroll;
	border-right: solid 1px var(--color-menu-border);
	background-color: var(--color-menu-background);
}
#menu .menu-content
{
	margin: 0px;
	padding: 10px 0px 10px 0px;
	border-bottom: solid 1px var(--color-menu-border);
}

#main
{
	margin: 0px 0px 0px 200px;
	padding: 20px;
}
#main .main-content
{
	margin: 0px;
	padding: 0px;
}


/************************
/*   Menu items         *
/************************/

#menu h1
{
	padding: 10px;
	text-align: center;
}
#menu h2
{
	padding: 8px 5px 2px 5px;
	font-size: 90%;
}
#menu h3
{
	padding: 5px 5px 2px 10px;
	font-size: 80%;
}
#menu h4
{
	padding: 5px 5px 2px 15px;
	font-size: 70%;
}
#menu .selected
{
	background-color: var(--color-menu-selected);
}