/* This CSS file contains only stuff related to the list of users ("editors") for a document */

#userlist_table {
	width: 100%;
}
.selected-user {
	background-color: var(--color-background-dark);
}
#editor-btn {
	padding: 3px 5px;
	max-width: 120px;
	text-align: center;
	vertical-align: middle;
	width: 100%;
	font-size: 14px;
}
#editor-btn #follow-checkbox{
	margin: 3px;
}
#currently-msg{
	text-align: center;
	padding: 3px 5px;
}