<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* for the index page */

body {
    font-family : 'Roboto'
}
#index-title {
    font-size: large;
}
#tree-view {
    padding : 5px;
}

a {
    padding : 5px;
    display : block
}
a:hover {
    cursor: pointer;
  color: red;
}

.hidden {
    display: none;
}</pre></body></html>