.confirm{
	color:yellowgreen;
}

.warn{
	color:orange;
}
.error{
	color:#DC0000;
}
.info{
	color:#00a9db;
}
.disabled{
	opacity: 0.3;
}
.button.disabled,
button.disabled {
	color:gray;
	border-color:gray;
	background:white;
}

.button.disabled{
	pointer-events: none;
}

.nowrap {
	white-space: nowrap;
}

.space, .monospace {
	width:1.5em;
}

div.selected{
	box-shadow: 0 0 0 4px rgb(255,255,255);
	outline: 4px dashed   rgb(142,193,0);
	outline-offset: 0px;

}

li.selected{
    font-weight: 700;
}