unlab-gpu 0.1.0

/*
 * Copyright (c) 2026 Łukasz Szpakowski
 *
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at https://mozilla.org/MPL/2.0/.
 */
body {
    background: white;
    font-family: serif;
    font-size: 1rem;
    font-weight: normal;
    font-style: normal;
    text-decoration: none;
    margin: 0;
    padding: 0;
    z-index: 0;
}

header {
    background: linear-gradient(to bottom, blue, green, red);
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 3.9rem;
    margin: 0;
    padding: 0;
    z-index: 2;
}

header h1 {
    font-family: sans-serif;
    font-size: 1.5rem;
    margin-top: 1.2rem;
    margin-left: 0.8rem;
    margin-right: 0.8rem;
    margin-bottom: 1.2rem;
    padding: 0;
}

header h1 a {
    color: white;
    text-shadow: 0.2rem 0.2rem 0.2rem black;
}

nav {
    background: linear-gradient(to bottom, lightgray, white, lightgray);
    position: fixed;
    top: 3.9rem;
    left: 0;
    width: 100%;
    height: 2.7rem;
    margin: 0;
    padding: 0;
    z-index: 2;
}

nav h2 {
    font-family: sans-serif;
    font-size: 1.1rem;
    margin: 0.8rem;
}

main {
    position: relative;
    top: 6.6rem;
    left: 0;
    width: calc(100% - 1.6rem);
    margin: 0;
    padding-top: 0.4rem;
    padding-left: 0.8rem;
    padding-right: 0.8rem;
    padding-bottom: 0.4rem;
    overflow-wrap: break-word;
}

#left {
    display: none;
}

#right {
    display: none;
}

.mod-list {
    list-style-type: none;
    margin-top: 0.4rem;
    margin-left: 0;
    margin-right: 0;
    margin-bottom: 0.4rem;
    padding: 0;
}

.mod-list-item {
    font-family: sans-serif;
    font-size: 1.1rem;
    font-weight: bold;
}

.mod-list-item a {
    color: black;
}

.mod-section, .var-section {
    scroll-margin-top: 7.4rem;
}

.mod-desc {
    margin: 0;
    padding: 0;
}

.var-desc {
    margin-top: 0;
    margin-left: 1.6rem;
    margin-right: 0;
    margin-bottom: 0;
    padding: 0;
}

.sig {
    font-family: sans-serif;
    font-size: 1.1rem;
    font-weight: bold;
    margin-top: 0.8rem;
    margin-left: 0;
    margin-right: 0;
    margin-bottom: 0.8rem;
    padding: 0;
}

.keyword {
    color: darkgreen;
}

.mod, .var {
    color: darkmagenta;
}

.arg {
    color: darkblue;
}

section {
    margin: 0;
    padding: 0;
}

h1, h2, h3, h4, h5, h6 {
    font-family: sans-serif;
    font-size: 1.1rem;
    font-weight: bold;
    font-style: normal;
    margin-top: 0.8rem;
    margin-left: 0;
    margin-right: 0;
    margin-bottom: 0.8rem;
    padding: 0;
}

hr {
    background: gray;
    height: 1px;
    border-width: 0;
    margin-top: 0.8rem;
    margin-left: 0;
    margin-right: 0;
    margin-bottom: 0.8rem;
    padding: 0;
}

p {
    margin-top: 0.8rem;
    margin-left: 0;
    margin-right: 0;
    margin-bottom: 0.8rem;
    padding: 0;
}

em {
    font-style: italic;
    margin: 0;
    padding: 0;
}

strong {
    font-weight: bold;
    margin: 0;
    padding: 0;
}

ol, ul {
    margin-top: 0.4rem;
    margin-left: 2.4rem;
    margin-right: 0;
    margin-bottom: 0.4rem;
    padding: 0;
}

li {
    margin: 0;
    padding: 0;
}

a {
    color: darkblue;
    text-decoration: none;
    margin: 0;
    padding: 0;
}

a:hover {
    text-decoration: underline;
}

pre {
    width: calc(100% - 1.6rem);
    margin: 0;
    padding: 0;
}

code {
    font-family: monospace;
    background: #f0f0f0;
}

pre code {
    -moz-border-radius: 0.4rem;
    -webkit-border-radius: 0.4rem;
    border-radius: 0.4rem;
    display: block;
    width: 100%;
    margin-top: 0.8rem;
    margin-left: 0;
    margin-right: 0;
    margin-bottom: 0.8rem;
    padding: 0.8rem;
    overflow-x: auto;
    overflow-wrap: normal;
}

p code, li code, th code, td code {
    -moz-border-radius: 0.2rem;
    -webkit-border-radius: 0.2rem;
    border-radius: 0.2rem;
    display: inline;
    padding: 0;
}

table {
    border-collapse: collapse;
    display: block;
    margin-top: 0.8rem;
    margin-left: 0;
    margin-right: 0;
    margin-bottom: 0.8rem;
    padding: 0;
    overflow-x: auto;
    overflow-wrap: normal;
    white-space: nowrap;
}

th, td {
    border-color: gray;
    border-width: 1px;
    border-style: solid;
}

th {
    font-family: sans-serif;
    font-size: 1.1rem;
    font-weight: bold;
    padding: 0.8rem;
}

td {
    padding: 0.8rem;
}

img {
    margin-top: 0.8rem;
    margin-left: 0;
    margin-right: 0;
    margin-bottom: 0.8rem;
    padding: 0;
}

@media (orientation: landscape) {
    main {
        left: 15%;
        width: calc(70% - 1.6rem);
    }

    #left {
        background: lightgray;
        position: fixed;
        display: block;
        top: 0;
        left: 0;
        width: 15%;
        height: 100%;
        z-index: 1;
    }
    
    #right {
        background: lightgray;
        position: fixed;
        display: block;
        top: 0;
        right: 0;
        width: 15%;
        height: 100%;
        z-index: 1;
    }
}

@media (orientation: portrait) {
    main {
        left: 0;
        width: calc(100% - 1.6rem);
    }

    #left {
        display: none;
    }
    
    #right {
        display: none;
    }
}