* { box-sizing: border-box;}
* { -moz-box-sizing: border-box;}


img {
	border: none;
	float: left;
}

#header label {
	display: none;
}


#result label{
	display: inline;
}


input#user {
	-moz-box-sizing: border-box;
	font-size: 9px;
	color: #0093DD;	
	border: 1px solid #FF3399;
	background-color: #FFF;	
	cursor: text;	
	padding: 3px;	
	margin:0 3px 7px 3px;
	height: 21px;
/*	width: 150px;*/
}


.button {
	font-size: 9px;	
	color: #0093DD;
	border: 1px solid #FF3399;
	background-color: #FFF;
	cursor: pointer;
	padding:0 0 3px 0;
	margin:0 0 7px 0;
	height: 21px;	
	
}

/*
Code Syntax Highlighter thx
http://www.enjoyxstudy.com/javascript/syntaxhighlight/codeHighlighter.html
*/

/* common */
pre .comment {
  color: #008000;
}
pre .string {
  color: #4040FF;
}

/* PHP */
pre.php .keyword {
  color: #CC3333;
}

pre.php .func {
  color: #9900CC;
}
pre.php .vars {
  color: #66CCFF;
}