#undo_redo_bar {
	background: transparent;
}

QPushButton {
	background: <color:search/button/normal>;
	border: none;
	height: 30px;
	width: 30px;
}

#undo_button {
	border-bottom-left-radius: 12px;
	border-top-left-radius: 12px;
}

#redo_button {
	border-bottom-right-radius: 12px;
	border-top-right-radius: 12px;
}

#history_button {
	width: 14px;
	margin-left: 2px;
	margin-right: 2px;
}

QPushButton:disabled {
	background: <color:search/button/disabled>;
}

QPushButton:hover {
	background: <color:search/button/hover>;
}

QPushButton:pressed {
	background: <color:search/button/press>;
}
