.action-container {
	padding-top: 0.5em;
}
.hoverable:hover {
	background-color: #ebf5ff;
}
#log-out {
	margin: 1em;
}
#current-uri-label {
	color: #888;	
}

.focus {
	background-color: #dddddd;
	cursor: pointer;
	font-weight: bold;
}

.selected {
	background-color: #dddddd;
	font-weight: bold;
}

.asc:after { content: "\25B2"; }
.desc:after { content: "\25BC"; }