docs/src/ucx.css

Sat, 23 Nov 2024 15:15:09 +0100

author
Mike Becker <universe@uap-core.de>
date
Sat, 23 Nov 2024 15:15:09 +0100
changeset 990
f708863e7ec6
parent 734
6f757d839534
permissions
-rw-r--r--

automatically disable szmul builtin when testing with coverage

a {
    color: #2e2eaf;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
    text-decoration-style: dotted;
}

#page-header, h1, h2, h3, #sidebar {
    font-family: sans-serif;
}

#page-header {
    padding-top: 0.3em;
    padding-bottom: 0.5em;
    margin-bottom: 2em;
    border: none;
    border-bottom-width: 1pt;
    border-bottom-style: solid;
    border-bottom-color: #2e2e2e;
}

#page-header span {
    font-size: 2em;
    font-weight: bold;
    color: #2e2e2e;
}

#page-header img {
    float: right;
}

#sidebar {
    float: left;
    width: 15em;
}

.nav {
    color: black;
    background-color: #e9ebec;
    margin-bottom: 1em;
    padding-bottom: 0.1em;
}

.nav h3 {
    color: white;
    background-color: #5b6f7a;
    font-size: 1.2em;
    padding-top: 0.2em;
    padding-bottom: 0.2em;
    padding-left: 0.5em;
    margin-top: 0;
}

.nav ul {
    margin-top: 0;
    padding-top: 0;
    padding-left: 2em;
    font-size: 0.95em;
}

#content {
    margin-left: 16em;
    margin-right: 0.5em;
    padding: 0;
    font-family: serif;
    font-size: 1em;
    min-width: 16em;
}

#content h1 {
    color: white;
    background-color: #5b6f7a;
    font-size: 1.2em;
    padding: 0.2em 0 0.2em 0.5em;
    margin-top: 0;
}

#content h2 {
    color: #2e2e2e;
    font-size: 1.2em;
    border-bottom-color: #5b6f7a;
    border-bottom-style: solid;
    border-bottom-width: 1pt;
    width: 100%;
}

#content h3 {
    font-size: 1.05em;
}

#modules table {
    border-collapse: separate;
    border-spacing: .25em;
}

#modules td > a {
    display: table-cell;
    text-align: center;
    vertical-align: middle;
    width: 10em;
    height: 2em;
    border-style: solid;
    border-width: 1pt;
    border-color: #2e2e2e;
}

#modules td > a:hover {
    background: #e9ebec;
}

mercurial