* { 
	box-sizing: border-box;
}

body { 
	font-family: Arial; 
	font-size: 12px;
}
 
a { 
	color: black;
	text-decoration: none;
}

a:hover { 
	text-decoration: underline;
}

svg { 
	width: 100%; 
	height: 100%;
}

hr {
	width: 70%;
	margin-left: auto;
	margin-right: auto;
}

.accordion { 
	font-size: 14px;
}

.ui-accordion-header-active {
	color: white;
	background-color: #3A8553;
}

.highlight {
	font-weight: bold;
}

.dialog .ui-dialog-content {
	font-size: 14px;
}

.dialog .ui-dialog-titlebar {
	color: white;
	background-color: #3A8553;
}

.note {
	background-color:white;
	border:1px solid;
	border-color:lightgray;
	border-radius:10px;
	color: #404040;
	font-size:14px;
	margin-bottom:10px;
	padding:20px;
}

.note ul {
	margin-left:10px;
	padding:0px;
}

.note ul li {
	margin-left:10px;
	padding:0px;
}

.overlay {
	position: fixed;
	display: none;
	width: 100%;
	height: 100%;
	top: 0;
	left: 0;
	right: 0;
	bottom: 0;
	background-color: rgba(0,0,0,0.5);
	z-index: 2;
}

.side {
	background-color:#EFEFEF;
	border:1px solid;
	border-color:lightgray;
	border-radius:10px;
	font-size:14px;
	margin-top:5px;
	overflow-y:auto;
	padding:10px;
}

.snippets {
	background-color:#EFEFEF;
	border:1px solid;
	border-color:lightgray;
	border-radius:10px;
	overflow-y:auto;
	padding:10px;
}

.snippetsHeader {
	background-color:white;
	border:1px solid;
	border-color:lightgray; 
	border-radius:10px;
	margin-bottom:10px; 
	padding:5px; 
}

.snippet {
	background-color:white;
	border:1px solid;
	border-color:lightgray; 
	border-radius:10px;
	margin-bottom:5px; 
	margin-top:5px; 
	padding:5px; 
}

.snippetTitle {
	font-size:14px;
	font-weight:bold;
}

.snippetText {
	color:#404040;
	font-size:14px;
	margin-bottom:5px;
}

.snippetText .hl0 {
	color:#0000FF;
}

.snippetText .hl1 {
	color:#4285F4;
}

.snippetText .hl2 {
	color:#3A8553;
}

.snippetText .hl3 {
	color:#000000;
}

.snippetText .bl0 {
	background-color:#FFFF88;
}

.snippetText a {
	color: #404040;
	text-decoration: none;
}

.snippetText a:hover {
	text-decoration: underline;
}

.snippetHighlight {
	border:1px solid;
	border-color:#FF0000; 
}

.thin-border {
	border-color:lightgray;
	border-radius:10px;
	border-style:solid;
	border-width:thin;
}

.tips {
	background-color:white;
	border:1px solid;
	border-color:lightgray;
	border-radius:10px;
	color: #404040;
	font-size:14px;
	margin-bottom:10px;
	padding:5px;
}

.underlay {
	background-color:#EFEFEF;
	border:1px solid;
	border-color:lightgray;
	border-radius:10px;
	height:92dvh;
	margin-top:5px;
	margin-right:5px;
	overflow-y:auto;
    width:100%;
}

.welcome {
	background-color:white;
	border:1px solid;
	border-color:lightgray;
	border-radius:10px;
	color: #404040;
	font-size:14px;
	margin-bottom:10px;
	padding:10px;
}