#changelist-filter {
	border-bottom: 2px solid #aaa;
	border-top: 2px solid #aaa;
	display: none;
	font-size: 12px;
	position: fixed;
	right: 0;
	width: 120px;
	z-index: 1;
}

#changelist-filter a {
	color: #666;
	display: none;
	margin: 0 -10px;
	padding: 0 10px;
}

#changelist-filter a:hover {
	background: #eee;
}

#changelist-filter a.selected {
	display: block;
}

#changelist-filter > div {
	padding: 0 8px;
	margin: 4px 0;
	position: relative;
}

#changelist-filter .filter-box {
	background: white;
	border: 2px solid #ddd;
	border-radius: 5px;
	overflow: auto;
	padding: 10px !important;
	position: absolute;
	white-space: nowrap;
	z-index: 1000;
}

#changelist-filter .filter-box a {
	display: block;
	font-size: 12px;
}

#changelist-filter b {
	text-transform: lowercase;
}

#changelist-filter h2 {
	display: none;
}

#changelist-filter-tab {
	background: #79aec8;
	border-radius: 10px 10px 0 0;
	color: white;
	font-size: 14px;
	font-weight: bold;
	padding: 5px 0 2px;
	position: fixed;
	right: -24px;
	text-align: center;
	text-transform: uppercase;
	top: calc(50% - 15px);
	transform: rotate(-90deg);
	width: 80px;
}