2020-03-18 05:01:57 -05:00
|
|
|
/* This CSS file contains only stuff related to the list of users ("editors") for a document */
|
|
|
|
|
|
2017-06-27 06:44:50 -05:00
|
|
|
#userlist_table {
|
|
|
|
|
width: 100%;
|
|
|
|
|
}
|
2017-06-25 20:46:12 -05:00
|
|
|
.selected-user {
|
|
|
|
|
background-color: darkgrey;
|
2017-06-27 06:44:50 -05:00
|
|
|
}
|
|
|
|
|
#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;
|
2019-10-21 07:28:51 -05:00
|
|
|
}
|
