Show files open by other users
This commit is contained in:
parent
d513ad9824
commit
b2f4e0c038
1 changed files with 69 additions and 0 deletions
|
|
@ -0,0 +1,15 @@
|
|||
.remote-users {
|
||||
display: flex;
|
||||
flex-wrap: wrap;
|
||||
gap: var(--size-4-2);
|
||||
margin-left: var(--size-4-2);
|
||||
|
||||
span {
|
||||
border-radius: var(--radius-l);
|
||||
padding: 0 var(--size-4-1);
|
||||
border-width: 1px;
|
||||
border-style: solid;
|
||||
font-size: var(--font-smallest);
|
||||
font-style: italic;
|
||||
}
|
||||
}
|
||||
Loading…
Reference in a new issue