html {
	background-color: lightgray;
}

body {
	font-family: sans-serif;
	background-color: white;
	border: 1px solid black;
        /* border-radius: 20px 20px 20px 20px; */
	margin-left: auto;
	margin-right: auto;
	margin-top: 20px;
	padding: 20px;
	width: 90%;
}

textarea, input, select { background-color: #fffafa; border: solid 1px black; padding: 3px; }

.code {
    width: 100%;
    background-color: #F6F6F6;
    border: 2px outset GhostWhite;
    padding-left: 3px;
    padding-right: 3px;
    padding-top: 3px;
    padding-bottom: 3px;
    }

.code2 {
    font-family: Fixedsys, "Lucida Console", monospace;
    background-color: #B2B2AE;
    padding-right: 0px;
    margin-right: 0px;
    }

.html_entity {
    color: red;
    }

.xml_pi {
    color: blue;
    }

.xml_tag {
    color: mediumblue;
    }

.keyword {
    color: mediumblue;
    }

.comment {
    color: green;
    }

.literal {
    color: purple;
    }

.sch_literal {
    color: green;
    }