/* CSS Document */
body
{
	font-family: Tahoma, Sans;
	padding: 13px 20px;
	cursor: default;
}
p, label, input,
{
	font-family: Verdana;
	color: green;
}
td, table,
{
	font-family: Verdana;
	font-weight: bold;
}
pre
{
	width: 80%;
	overflow: auto;
	margin: 6px auto;
	padding: 6px 8px;
	border: 1px solid #EFB3B3;
	background-color: #FFEFEF;
}
code
{
	background-color: #FFFFCE;
	border: 1px solid silver;
	padding: .1em;
	margin: .2em;
}
h1, h2, h3, h5, h5, h6
{
	margin: 7px 0px;
	font-family: "Trebuchet MS", Sans;
}
a:link
{
	text-decoration: none;
	color: blue;
}
a:active
{
	text-decoration: none;
	color: black;
}
a:visited 
{
	text-decoration: none;
	color: gray;
}
a:hover
{
	text-decoration: underline;
	color: black;
}
textarea
{
	width: 97%;
}
fieldset
{
	border: 0px;
	margin: .3em;
	padding: .8em;
}
input, select, textarea
{
	padding: .2em;
	size:100
	
}
.show
{
	margin: 0px auto;
	width: 720px;
}
.show h3
{
	color: #E74918;
	font-size: 2.2em;
	text-decoration: underline;
}



.error
{
	color: red;
	margin: .3em;
	display: block;
	background-color: #FFEFEF;
	border:1px solid #DFB5B5;
	padding: .2em;
}
.alert
{
	color: orange;
	margin: .3em;
	background-color: #FFF4DF;
	border: 1px solid #DFCCA7;
	padding: .2em;
	display: block;
}
.success
{
	color: green;
	margin: .3em;
	background-color: #EFFFEF;
	border: 1px solid #B5DFB5;
	padding: .2em;
	display: block;
}
input
{
font-size: 15px;
width: 180px;
}
.cloud
{
	margin: .4em;
	font-size: .8em;
	font-family: arial;
	line-height: 1.1em
}
.cloud .name 
{
	float: right;
	margin: 1em;
	font-size: 1.4em;
	color: darkmagenta;
}
.cloud .function
{
	color: darkblue;
	font-style: italic;
	font-weight:bold;
}
.cloud .string
{
	color: orange;
}
.cloud .var
{
	color: green;
}
.cloud .const
{
	color: violet;
}
.cloud .void
{
	font-weight: bold;
	font-style: italic;
}
.cloud .par,
.cloud .mid
{
	color: red;
	font-weight: bold;
}
.cloud .key
{
	color: teal;
	font-style: italic;
}
