@charset "UTF-8";

body{
	padding-left: 20px;
	padding-right: 20px;
}

.precode{
	background-color: darkgray;
}

.msb-code{
	font-family: Consolas;
	font-weight: bold;
}


.json-comment {
    font-style: italic;
    color: darkgray;
    font-family: 'Arial narrow';
}