body {
	font-family: Verdana;
	font-size: 10px;
	margin: 10px 17px;
}

#app {
	margin-bottom: 10px;
}

#output {
	margin-top: 10px;
	font-size: 17px;
}

#source {
	margin-top: 10px;
}

#control {
	white-space: nowrap;
}

#control a {
	white-space: nowrap;
	
	border: 1px #ccc solid;
	padding: 5px 10px;
	margin: 1px;
	
	text-decoration: none;

	background-color: white;
	color: black;
}

#control a:hover {
	background-color: black;
	color: white;
}

/* control buttons, icons by http://famfamfam.com/lab/icons/silk/ */

a#sort {
	padding-left: 21px;
	background: url(images/control_play.png) 3px center no-repeat;
}

a#step {
	padding-left: 21px;
	background: url(images/control_pause.png) 3px center no-repeat;
}

a#sele {
	padding-left: 16px;
	background: url(images/bullet_blue.png) left center no-repeat;
}

a#inse {
	padding-left: 16px;
	background: url(images/bullet_green.png) left center no-repeat;
}

a#bubb {
	padding-left: 16px;
	background: url(images/bullet_orange.png) left center no-repeat;
}