2023-02-22 16:20:07 +01:00
|
|
|
html, body {
|
|
|
|
|
font-size: 13px; /* this also defines the overall widget size as all sizes are in rem */
|
2023-02-27 00:23:11 +01:00
|
|
|
font-family: Noto Sans;
|
2023-02-19 17:13:33 +01:00
|
|
|
height: 100%;
|
|
|
|
|
width: 100%;
|
|
|
|
|
padding: 0;
|
2023-02-22 16:20:07 +01:00
|
|
|
margin: 0;
|
2023-02-19 17:13:33 +01:00
|
|
|
background-color: #e5e5e5;
|
2024-06-13 12:19:03 +02:00
|
|
|
color: var(--pankow-text-color);
|
2023-02-19 17:13:33 +01:00
|
|
|
}
|
|
|
|
|
|
2023-02-23 13:16:21 +01:00
|
|
|
.shadow {
|
|
|
|
|
box-shadow: 0 2px 5px rgba(0,0,0,.1);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#app {
|
|
|
|
|
height: 100%;
|
2023-02-27 00:33:07 +01:00
|
|
|
}
|
