@charset "utf-8";
.codebox{	
    background-color: #f3f3ff;    
    color: #2f2f54;
    text-align: left;
    padding: 5px 5px 5px 5px;
    border-radius: 5px;       
    border: solid 1px #a7a7a7;
    font-size: 110%;
	line-height: normal;
	font-family: Menlo,Monaco,Consolas,"Courier New",monospace;
	width: 700px;
}

.examplebox{
    background-color: #12CB89;
    color: #F8F8F8;
    text-align: left;
    padding: 5px 5px 5px 5px;
    border-radius: 5px;       
    border: solid 2px #F8F8F8;
    font-size: 90%;
	line-height: normal;
	font-family:Baskerville, "Palatino Linotype", Palatino, "Century Schoolbook L", "Times New Roman", "serif";
	width: 600px;
}

.errorbox{
    background-color: #BD1619;
    color: #F8F8F8;
    text-align: left;
    padding: 5px 5px 5px 5px;
    border-radius: 5px;       
    border: solid 2px #F8F8F8;
    font-size: 90%;
	line-height: normal;
	font-family:Baskerville, "Palatino Linotype", Palatino, "Century Schoolbook L", "Times New Roman", "serif";
	width: 600px;
}

.outputbox{
    background-color: #AFAFAF;
    color: #F8F8F8;
    text-align: left;
    padding: 5px 5px 5px 5px;
    border-radius: 5px;       
    border: solid 2px #F8F8F8;
    font-size: 90%;
	line-height: normal;
	font-family:Menlo,Monaco,Consolas,"Courier New",monospace;
	width: 450px;
}