/* Concrete Machines — custom styling */

/* A little extra breathing room on text */
.content {
    line-height: 1.7;
}

/* Tighter code blocks; the language is dense and the screen real-estate matters */
pre {
    line-height: 1.4;
    padding: 0.8rem 1rem;
}

code {
    font-size: 0.92em;
}

/* Make blockquotes look like the marginal asides they often are */
blockquote {
    border-left: 3px solid var(--quote-border, #888);
    padding-left: 1rem;
    font-style: italic;
    opacity: 0.85;
}

/* Tables get borders, since they're load-bearing for the ISA spec */
table {
    border-collapse: collapse;
    margin: 1rem 0;
}

table th, table td {
    border: 1px solid var(--table-border-color, #ccc);
    padding: 0.4rem 0.7rem;
    text-align: left;
}

table th {
    background: var(--table-header-bg, rgba(0,0,0,0.04));
    font-weight: 600;
}

/* Chapter intro paragraph styling — first paragraph after an h1 */
h1 + p {
    font-size: 1.05em;
}

/* Definition-style asides that we use a lot */
.aside {
    background: rgba(127,127,127,0.07);
    border-left: 3px solid var(--aside-border, #6a6);
    padding: 0.8rem 1rem;
    margin: 1rem 0;
    border-radius: 0 4px 4px 0;
}