body {
	font-family: 'Roboto', sans-serif;
	margin: 0;
	tab-size: 4;
}

ol {
	padding-inline-start: 27.1px;
	overflow: auto;
    white-space: pre;
}
#g {
	background: linear-gradient(#6078bf, white);
	height: 90px;
}
#bottom {
	font-size: 20px;
	padding-top: 60px;
	text-align: center;
	white-space: pre-line;
}
#header1 {
	padding-left: 20px;
	font-size: 24px;
	padding-top: 20px;
}
#cheader1 {
	padding-left: 20px;
	font-size: 24px;
	padding-top: 20px;
}
#text {
	padding-left: 30px;
	padding-top: 10px;
	padding-right: 10px;
	font-size: 16px;
	white-space: pre-wrap;
}
#code {
	background-color: #f9f9f9;
	border: 1px solid #ddd;
	padding: 10px;
	line-height: 1.3;
	width: 80%;
	max-width: fit-content;
	margin: 10px 0px 10px 15px;
	font-size: 15px;
	overflow: auto; 
	white-space: pre;
	font-family: 'Ubuntu Mono', monospace;
	font-weight: bold;
}
#bytecode {
	background-color: #EFF1F8;
	border: 1px solid #ddd;
	padding: 10px;
	line-height: 1.3;
	max-width: fit-content;
	font-size: 13px;
	overflow: auto; 
	white-space: pre;
	font-family: 'Ubuntu Mono', monospace;
}
#tbldiv {
	overflow-x: auto;
	margin: 10px 0px 5px 10px;
}
table {
	background-color: #f9f9f9;
	white-space: pre;
	border-collapse: collapse;
	border: 2px solid #ddd;
}
td, th {
	text-align: center;
	padding: 8px;
	border: 1px solid #e0e0e0;
}
th {
	background-color: #e0e0e0;
}
li {
	margin-top: 6px;
	margin-bottom: 6px;
}

.headinganchor {
	text-decoration: none;
	
	font-size: 18px;
	padding-left: 5px;
	padding-bottom: 5px;
	color: #d0d0d0;
}

div:hover .headinganchor {
	color: gray;
}

.inlcode {
	background-color: #f9f9f9;
	border: 1px solid #ddd;
	font-size: 16px;
	padding: 1px 4px;
	font-family: 'Ubuntu Mono', monospace;
	font-weight: bold;
}
#highlight {
	font-weight: bold;
	text-decoration: underline;
	text-decoration-color: red;
}
#subh {
	font-weight: bold;
}

#redinline {
	background-color: #faa;
	border: 1px solid #830000;
	color: #a70000;
	margin-left: 2px;
	font-family: 'Roboto', sans-serif;
}
#yellowinline {
	background-color: #ffd5aa;
	border: 1px solid #834200;
	color: #a75400;
	margin-left: 2px;
	font-family: 'Roboto', sans-serif;
}

.tab {
	background-color: #C6C6C6;
	/* border: 1px solid #e0e0e0; */
    display: flex;
	margin: 10px 0px 5px 15px;
	overflow: auto; 
	white-space: normal;
	max-width: fit-content;
}

.tab button {
	background-color: inherit;
	float: left;
	border: none;
	padding: 10px;
	font-family: 'Roboto', sans-serif;
	transition: 0.3s;
	font-size: 17px;
}

.tab button:hover {
	background-color: #d6d6d6;
}

.tab button.active {
	background-color: #e0e0e0;
}

.tabcontent {
	display: none;
	padding: 5px 5px;
	background-color: #f9f9f9;
	border: 1px solid #ddd;
	width: 80%;
	margin: 0px 0px 10px 25px;
	overflow: auto; 
	white-space: normal;
	max-width: fit-content;
}

input[type='checkbox'] {
  display: none;
}

.wrap-collabsible {
	display: inline-flex;
	margin-left: 5px;
}

.collapsible-content {
  max-height: 0px;
  overflow: hidden;
}

.lbl-toggle {
	color: #0000ee;
	text-decoration: underline;
}

.delete {
	background-color: #fdd;
	display: table;
	margin-bottom: -17px;
}
.insert {
	background-color: #dfd;
	display: table;
	margin-bottom: -17px;
}