html, body {
	margin: 0;
	padding: 0;
	height: 100%;
	overflow: hidden;
	font-family: Verdana;
}

svg {
	overflow: hidden;
}

svg * {
	cursor: default;
	-webkit-user-select: none;
	-moz-user-select: none;
	-ms-user-select: none;
	user-select: none;
}

svg .workstation * {
	cursor: pointer;
}

.ux-dialog {
	position: fixed;
	top: 0;
	left: 0;
	width: 100%;
	height: 100%;
	background-color: rgba(128, 128, 128, 0.5);
	z-index: 1000;
	justify-content: center;
	align-items: center;
	display: flex;
}

.ux-dialog h2 {
	margin: 0;
	padding: 0;
	text-align: center;
}

.ux-dialog p {
	margin: 10px 0 0 0;
	padding: 0;
}

.ux-dialog button {
	border: none;
	background-color: blue;
	font-family: Verdana;
	font-size: 28px;
	text-align: center;
	font-weight: bold;
	color: white;
	background-color: #0C479D;
	padding: 10px 20px;
	margin: 0 5px 0 5px;
}

.ux-dialog button.letter {
	height: 80px;
	width: 80px;
	margin: 0 10px 10px 0;
}

.ux-dialog .ux-dialog-footer button {
	background-color: #5A5A5A;
	min-width: 200px;
}

.ux-dialog .ux-dialog-footer button.remove {
	background-color: #A6192E;
	min-width: 200px;
}

.ux-dialog-container {
	padding: 10px 20px 10px 20px;
	border: 3px solid black;
	background-color: white;
	max-width: 90%;
	max-height: 90%;
	min-width: 90%;
	border-radius: 5px;
	display: flex;
	flex-direction: column;
}

.ux-dialog-header, .ux-dialog-footer {
	flex: 0 0 auto;
	padding: 10px 0 10px 0;
}

.ux-dialog-footer {
	text-align: center;
}

.ux-dialog-content {
	flex: 1 1 auto;
	overflow: auto;
	text-align: center;
}

.ux-dialog-content button.name
{
	width: 40%;
	margin: 5px;
	padding: 10px;
	font-size: 22px;
}

.ux-dialog-content button.name.occupied {
	background-color: #4D6E99;	
}

.ux-dialog-content p {
	font-size: 22px;
	font-family: Verdana;
	padding: 50px;
}

.ux-dialog-content p b {
	font-weight: bold;
	color: #002F6C;
}

.anim-highlight {
	animation-name: highlight;
	animation-duration: 5s;	
	animation-timing-function: linear;
}

@keyframes highlight {
	0% {
		opacity: 0.0;
	}
	5% {
		opacity: 1.0;
	}
	10% {
		opacity: 0.0;
	}
	15% {
		opacity: 1.0;
	}
	20% {
		opacity: 0.0;
	}
	25% {
		opacity: 1.0;
	}
	30% {
		opacity: 0.0;
	}
	35% {
		opacity: 1.0;
	}
	40% {
		opacity: 0.0;
	}
	45% {
		opacity: 1.0;
	}
	50% {
		opacity: 0.0;
	}
	55% {
		opacity: 1.0;
	}
	60% {
		opacity: 0.0;
	}
	65% {
		opacity: 1.0;
	}
	70% {
		opacity: 0.0;
	}
	75% {
		opacity: 1.0;
	}
	80% {
		opacity: 0.0;
	}
	85% {
		opacity: 1.0;
	}
	90% {
		opacity: 0.0;
	}
	95% {
		opacity: 1.0;
	}
	100% {
		opacity: 0.0;
	}
}