ol {
		margin-top:	1px;
		margin-bottom: 1px;
	}
	h3 {
		margin-top:	2px;
		margin-bottom: 2px;
	}
	input {
		height: 16px;
		font-size: 8pt;
		padding-top: 0px;
		padding-bottom: 0px;
	}
	.craftGroup{
		opacity: 1;
		fill:none;
		stroke-linecap:round;
	}
	.travelerGroup{
		fill:none;
		stroke-linecap:round;
		stroke-width: 3;
		stroke: black;
		opacity: 1;
	}
	.travelerGroupHighlight{
		stroke: red;
		fill:none;
		stroke-linecap:round;
		stroke-width: 3;
		opacity: 1;
	}
	.travelerGroup:hover {
		stroke: red;
	}
	.dateLine{
		stroke-dasharray: 2,3;
		stroke:gray;
		stroke-width:1;	
	}
	div.detailPanel{
		float:left;
		display: block;
		border: 1px solid black;
		padding: 2px;
	}
	
	@keyframes redBorder{
	from {background-color: #FFBBBB;}
	to {background-color: none;}
	}