devmanual.css

th {
    font-weight: bold;
    text-align: left;
}

dt {
    font-weight: bold;
}

dd {
    margin-top: 0.2em;
    margin-bottom: 0.2em;
    margin-left: 2em;
}

caption, p.caption {
    font-weight: bold;
}

div.figure, div.figure p {
    text-align: center;
    font-weight: bold;
}

code, pre {
    font-family: monospace;
    tab-size: 4;
    -o-tab-size: 4;
    -moz-tab-size: 4;
}

pre span.Special { color: magenta; }
pre span.Identifier { color: blue; }
pre span.Type { color: blue; }
pre span.PreProc { color: magenta; }
pre span.Constant { color: black; }
pre span.Comment { color: red; }
pre span.Statement { color: darkred; }

a.permalink {
    margin: 0em 0.3em;
    font-size: 90%;
    text-decoration: none;
    visibility: hidden;
}

h1:hover > a.permalink,
h2:hover > a.permalink,
h3:hover > a.permalink,
h4:hover > a.permalink {
    visibility: visible;
}

.truncated-text {
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
    vertical-align: top;
}

.w-250 {
    width: 250px;
}

.max-w-200 {
    max-width: 200px;
}

/* compatible to Bootstrap 4 for future migration */
.d-inline-block {
    display: inline-block;
}

/* compatible to Bootstrap 4 for future migration */
.text-center {
    text-align: center;
}

/* compatible to Bootstrap 4 for future migration */
.mr-2 {
    margin-right: 8px;
}

/* compatible to Bootstrap 4 for future migration */
.ml-2 {
    margin-left: 8px;
}

/* vertically center the search bar */
.navbar-grey .input-group {
    margin-top: 3px;
}

/*
 * .fix-links can be used to fix listgroups in text browsers
 * see https://bugs.gentoo.org/show_bug.cgi?id=711286
 */

.fix-links > li {
    padding: 0px;
}

.fix-links > li > a {
    border: none;
}

/* vim: set ts=4 tw=80 et : */