/* Style overrides for the devguide */
/* Make the site logo smaller */
.sidebar-logo {
width: 111px;
height: 110px;
}
.good pre {
border-left: 3px solid rgba(74, 182, 93, 1);
}
.bad pre {
border-left: 3px solid rgb(244, 76, 78);
}
.extlink-cpy-file,
.extlink-gh-label {
border: 1px solid var(--color-background-border);
border-radius: .2em;
font-family: var(--font-stack--monospace);
font-size: var(--font-size--small--2);
padding: .1em .2em;
}
/* Table cells should always top-align */
table.docutils td {
vertical-align: top;
}