2018-05-30 21:39:20 +02:00
|
|
|
|
html.os_windows {
|
2018-01-31 02:03:41 +01:00
|
|
|
|
body {
|
2018-05-30 21:39:20 +02:00
|
|
|
|
border-top: 1px solid #dddddd;
|
|
|
|
|
}
|
2018-05-30 21:21:41 +02:00
|
|
|
|
|
2018-05-30 21:39:20 +02:00
|
|
|
|
&.theme_dark body {
|
|
|
|
|
border-top-color: #000000;
|
2018-01-31 02:03:41 +01:00
|
|
|
|
}
|
|
|
|
|
}
|