筑波大学 大学院「並行システム」ウェブサイト用のスタイルシート

style.css

/* ==UserStyle==
@name           筑波大学 大学院「並行システム」講義ページ
@namespace      github.com/openstyles/stylus
@version        1.1.0
@description    Refines website styles
@author         TAKAHASHI Shuuji <shuuji3@gmail.com>
==/UserStyle== */
@-moz-document url-prefix("http://www.cs.tsukuba.ac.jp/~yas/cs/"),
url-prefix("https://www.coins.tsukuba.ac.jp/~yas/cs/") {
    body {
        max-width: 800px;
        margin: auto;
        padding: 2rem;
    }

    pre {
        padding: 1em;
    }

    table {
        border-spacing: 0;
        margin: 1em;
    }

    td {
        padding: 0.25em;
    }

    /* from bulma.css - https://github.com/jgthms/bulma/blob/eb46ab846029cfddb5725d2e4c5397b5dc93d069/css/bulma.css */
    input {
        -moz-appearance: none;
        -webkit-appearance: none;
        align-items: center;
        border: 1px solid transparent;
        border-radius: 4px;
        box-shadow: none;
        display: inline-flex;
        font-size: 1rem;
        height: 2.25em;
        justify-content: flex-start;
        line-height: 1.5;
        padding-bottom: calc(0.375em - 1px);
        padding-left: calc(0.625em - 1px);
        padding-right: calc(0.625em - 1px);
        padding-top: calc(0.375em - 1px);
        position: relative;
        vertical-align: top;

        background-color: white;
        border-color: #dbdbdb;
        border-width: 1px;
        color: #363636;
        cursor: pointer;

        text-align: center;
        white-space: nowrap;
    }

    input[type="submit"] {
        background-color: #209cee;
        border-color: transparent;
        color: #fff;
    }

    input[type="submit"]:hover {
        background-color: #1496ed;
        border-color: transparent;
        color: #fff;
    }

    h2 {
        background-color: #f48fb1;
        border: none;
    }

    h3 {
        background-color: #90caf9;
        border: none;
    }

    a {
        color: darkslategray;
    }
}