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



body {

	background-color: white;

	font-family: roboto;

	max-width:1024px;

	color: #18598b;

}

body *{

	font-size:17px;

}



a:link    {color:#d32f2f; background-color:transparent; text-decoration:none}

a:visited {color:#ee6212; 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: #ee6212;

}



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;

}