body {
	font-family: "Segoe UI", Tahoma, Geneva, Verdana, sans-serif;
	margin-left: 30px;
	margin-right: 30px;
	font-size: 16px;
	letter-spacing: 1.05px;
	text-align: justify;
	line-height: 1.35;
}

a:link {
	text-decoration: underline;
	color: blue;
	font-size: 100%;
}

code {
	font-size: 0.9em;

}

iframe {
	margin-top: 10px;
}



hr {
	clear: both;
	height: 1px;
	color: #242424;
	background-color: transparent;
}

.center {
	width: 100%;
	margin: 0 auto;
	display: flex;
	flex: 1 0 auto;
	justify-content: center;
}

#i {
	color: #ff1010;
}

tt {
	font-family: "Arial";
	font-size: 90%;
	color: #006600;
}

em {
	font-family: "Arial";
	font-size: 110%;
	font-weight: bold;
	border-style: solid;
	border-color: #abe876;
	color: #1632cc;
}

bc {
	font-family: "Arial";
	font-size: 90%;
	font-weight: bold;
	color: #990000;
	background-color: #fcf8c7;
}

ks {
	font-family: "Arial";
	font-weight: bold;
	color: #0000cd;
	font-size: 90%;
}

kc {
	font-family: "Arial";
	font-weight: bold;
	color: #008000;
	font-size: 90%;
}

pre {
	font-family: "Arial";
	background-color: #f5f5f5;
	border: 1.5px solid silver;
	padding: 5px;
}

h1 {
	font-size: 1.5em;
	background-color: #b2c0ff;
	padding: 10px;
}

h2 {
	background-color: #e1f4d7;
	color: rgb(47, 0, 255);
	margin: 100;
	border: 1px solid rgb(0, 10, 0);
	border-radius: 15px;
	padding: 2px 10px;
}

h3 {
	background-color: #e6ccff;
}

h4 {
	background-color: #ccffcc;
	width: 95%;
	border-radius: 5px;
	padding: 2px;
}

h5 {
	background-color: #d5ffb0;
}

div.req {
	background-color: #d9ffb3;
	font-size: 18px;
	width: 700px;
	border: 3px solid green;
	padding: 15px;
	margin: 10px;
}

div.remark {
	background-color: #e3f2fd;
	border: 1.5px solid #d5f2ed;
	padding: 15px;
	margin: 10px;
	border-radius: 25px;
}

table,
th,
td {
	border: 1px solid black;
	border-collapse: collapse;
}

ol,
ul,
li {
	margin: 0;
	margin-left: 10px;
	padding: 0;
	padding-bottom: 5px;
}

table,
th,
td {
	border: 1px solid black;
}

img {
	border: 1.5px solid #d5f2ed;
}

div.wrapdesc {
	width: 90%;
	margin: auto;
}

div.imagedesc {
	width: 85%;
	margin: auto;
}