2022-06-13 13:18:31 +02:00
|
|
|
.wy-nav-side {
|
|
|
|
|
background-color: #333333;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.wy-side-nav-search {
|
|
|
|
|
margin-top: 1em;
|
2022-06-13 13:29:57 +02:00
|
|
|
background-color: #333333;
|
2022-06-13 13:18:31 +02:00
|
|
|
}
|
2022-06-13 13:29:57 +02:00
|
|
|
img.logo {
|
|
|
|
|
max-width: 70% !important;
|
2022-06-13 13:18:31 +02:00
|
|
|
}
|
