@import url(https://fonts.googleapis.com/css?family=Roboto:400,300,100,700,500);

body {
	background-color: white;
	font-family: roboto;
	max-width:1024px;
}
body *{
	font-size:20px;
}

a:link    {color:#f04745; background-color:transparent; text-decoration:none}
a:visited {color:#f04745; background-color:transparent; text-decoration:none}
a:hover   {color:#000000; background-color:transparent; text-decoration:none}
a:active  {color:#000000; background-color:transparent; text-decoration:underline}

span.menu {
	font-weight: bold;
	font-family: monospace;
}
span.dialog, span.module{
	font-style: italic;
}

/*ul {
	list-style-type:decimal;
}
*/

h1, h2, h3 {
	color: #f04745;
}

td.nav-item {
	padding: .2em;
}

span.disabled {
	color:gray;
	text-decoration: underline;
}

li {
	padding-top: .5em;
	padding-bottom: .5em;
}

.toc-item {
	font-size: larger;
	font-weight: bold;
	color: rgb(54, 95, 145);
}

.menu {
	border:1px solid;
}