kif/portal
10
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Remove websockets

Browse source
This commit is contained in:
Lars Westermann 2019-06-11 10:36:12 +02:00
parent 8f8242a97a
commit 7b7a9b0fc2
Signed by: lars.westermann
GPG key ID: 9D417FA5BB9D5E1D
17 changed files with 196 additions and 123 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/jsMain/resources/style/components/_board.scss
View file

@ -58,7 +58,7 @@
width: 100%;
height: 100%;
border-bottom: solid 1px var(--table-border-color);
box-shadow: 0 0 4px black;
box-shadow: 0 0 4px var(--shadow-color);
top: -1rem;
padding-top: 1.2rem;
}

22
src/jsMain/resources/style/style.scss
View file

@ -160,3 +160,25 @@ a {
}
}
}
.offline-banner {
position: fixed;
bottom: 3rem;
left: 0;
right: 0;
height: 3rem;
line-height: 3rem;
text-align: center;
font-size: 1.2rem;
background-color: var(--primary-color);
color: var(--primary-text-color);
z-index: 12;
box-shadow: 0 1px 4px var(--shadow-color);
display: none;
}
body.offline {
.offline-banner {
display: block;
}
}