css style for 9fans.github.io/plan9port/man/man9/

stylus.css

@import url("https://cdn.jsdelivr.net/npm/@picocss/pico@2/css/pico.min.css");
@import url('https://fonts.googleapis.com/css2?family=Noto+Sans+Mono:wght@100..900&family=Noto+Sans:ital,wght@0,100..900;1,100..900&display=swap');

body {
    font-family: "Noto Sans", sans-serif;
    background-color: unset;
}

tt {
    font-family: "Noto Sans Mono", monospace, monospace;
}

td {
    border: none;
}

a:has(img) {
    visibility: hidden;
    &::before {
        visibility: visible;
        content: "";
        background-image: url('https://9p.io/plan9/img/spaceglenda37.jpg');
        background-size: 85px 100px;
        position: relative;
        display: inline-block;
        width: 85px;
        height: 100px;
        left: 85px;
    }
}