html,body
{
	margin:0;
	padding:0;
	font-family: Helvetica, sans-serif;
	background-color:#fefefe;
}

div#main
{
	position:absolute;
	top:15%;
	left:9%;
	width:82%;
	max-height:70%;
	overflow:auto;
	padding:2%;
	margin:0;    	
}

div#header
{
	position:absolute;
	left:0;
	top:0;
	width:100%;
	padding-left:0;
	padding-right:0;
	padding-top:0.2%;
	padding-bottom:0.2%;
	background-color:#0091fe;
	text-align:center;
}

div#header > h1 > a
{
	text-decoration:none;
	color:#222222;
}

div.mask ,div#result
{
	background-color: transparent;
	padding-left:1%;
	padding-right:1%;
	padding-top:0.7%;
	padding-bottom:0.7%;
}

details
{
	margin-top:1em;	
}

div.code
{	
	display:block;
	padding:20px;
	margin-left:5em;
	background-color:#dddddd;
	resize:vertical;
	height:100px;
	overflow:auto;
	border:3px solid;
}


h2, h3
{
	color:#003a66;
}

div#result
{
	/*font-size:large;*/
}

div.fd > form
{
	background-color:transparent;
	text-indent:50px;
}

div.fd input[type="number"]
{
	width:4em;
}

div.fd input::after
{
	content: "\00a0\00a0\00a0\00a0\00a0\00a0\00a0";
}

/*
p#intlimits
{
	visibility:hidden;
	opacity:0;
	transition: visibility 0s, opacity 0.5s linear;
}

input#integrate:checked ~ p#intlimits
{
	visibility:visible;
	opacity:1;
}*/

span#radiovecabs
{
	visibility:visible; /* hidden */
	opacity:1; /* 0 */
	transition: visibility 0s, opacity 0.5s linear;
	color: #333333;
	margin-left:2em;
}

input#k[value="1"] ~ span#radiovecabs /* not working with html5 type number */
{
	visibility:visible;
	opacity:1;
}


div#footer
{
	position:absolute;
	bottom:0;
	left:0;
	color:#222222;
	font-size:small;
	text-align:center;
	background-color:#0091fe;
	width:100%;
	padding-top:7px;
	padding-bottom:7px;
	padding-left:0;
	padding-right:0;
	margin:0;
}

div#footer > p > a
{
	text-decoration:none;
	color:#111111;
}

details > details
{
	text-indent: 2em;
}

p.hint
{
	font-size:small;
	color:#aaaaaa;
}

table#t_results
{
	
}
table#t_results > tr > th > a, table#t_results > tr > td > a
{
	text-decoration: none;
	color:black;
}
table#t_results
{
	text-align: center;
}