p {
	font-size:14px;
	font-family: Tahoma,Helvetica,Arial,sans-serif;
	line-height: 1.28;
	font-size: 13px;
}

h2 {
	font-weight: 800;
    color: #314d7c;
	font-family: Tahoma,Helvetica,Arial,sans-serif;
	border-bottom-color: #c3cad5;
    border-bottom-style: solid;
    border-bottom-width: 1px;
}

h3 {
	font-weight: 800;
    color: #314d7c;
	font-family: Tahoma,Helvetica,Arial,sans-serif;
	border-bottom-color: #c3cad5;
    border-bottom-style: solid;
    border-bottom-width: 1px;
}

h4 {
	font-weight: 800;
    color: #314d7c;
	font-family: Tahoma,Helvetica,Arial,sans-serif;
	border-bottom-color: #c3cad5;
    border-bottom-style: solid;
    border-bottom-width: 1px;
}

.command {
    padding: 1em;
    border: 1px dashed #2f6fab;
    color: black;
    background-color: #f9f9f9;
	border-radius: 4px;
    line-height: 1.1em;
    font-family: Courier New, Courier, mono;
    font-size: 14px;
    font-style: italic;
	margin-bottom:10px;
	margin-top:10px;
}

.system {
    color: black;
        font-family: Courier New, Courier, mono;
        font-size: 14px;
        font-style: italic;
}

.highlight {
    color: #FF0000;
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 14px;
	text-decoration: underline;
}

pre{
	margin-bottom:10px;
	margin-top:0px;
	background-color: #F5F5F5;
	border-color: #CCC;
	border-radius: 4px;
	border-style: solid;
	border-width: 1px;
	box-sizing: border-box;
	color: #333;
	display: block;
	font-family: Menlo,Monaco,Consolas,"Courier New",monospace;
	font-size: 13px;
	line-height: 18.5667px;
	overflow: auto;
	overflow-x: auto;
	overflow-y: auto;
	padding: 9.5px;
	word-break: break-all;
	word-wrap: break-word;
}