1<!--suppress CssUnusedSymbol -->
2<style>
3    .page-side-toggle:not(.collapsed) .page-side-expand {
4        display: none;
5    }
6    .page-side-toggle .page-side-expand {
7        display: inline-block;
8    }
9    .page-side-toggle:not(.collapsed) .page-side-collapse {
10        display: inline-block;
11    }
12    .page-side-toggle .page-side-collapse {
13        display: none;
14    }
15    #page-side-control {
16        border: 1px solid #dee2e6;
17        border-radius: 0.375rem;
18        padding: 0.375rem 0.75rem;
19        color: #6c757d;
20        font-size: smaller;
21    }
22</style>
23