body {
    max-width: 1000px;
    margin: auto;
    font-family: "Open sans", Helvetica, Arial, sans-serif;
}


.page-header {
    /* background-color: #f1f1f1; */
    display: flex;
    justify-content: space-between;
    text-align: center;
    align-items: center;
    padding: 10px;
    padding-left: 0;
    border-bottom: 1px #555 solid;

    /* now the text */
    font-weight: 700;
    font-size: 1.5rem;
    color: #444;
    font-family: 'Consolas', 'Menlo', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
    min-height: 80px;
}

.uc-brand {
    background: url('uc-coat-of-arms.svg');
    background-repeat: no-repeat;
    width: 100px;
    height: 80px;
	margin-top: 12px;
	margin-left: 20px;
	margin-right: 20px;
}

.csse-brand {
    float: right;
    background: url('csse_motif-80x-trans.png');
    background-size: 80px;  /* pre-scale the image externally to this size, to not waste bandwidth */
    background-repeat: no-repeat;
    width: 80px;
	height: 80px;
	margin-top: 12px;
	margin-left: 20px;
	padding-right: 20px;
}

h1 {
    color: #222;
    font-size: 2.2rem;
}

/* if we have a drophead, we want to bring it closer */
h1:has(+ .drophead) {
    margin-bottom: 10px;
}

/* Just below the heading, also known as a deck (like a "subtitle" to a heading) */
.drophead {
    color: #222;
    font-style: italic;
    margin-top: 0;
    padding-top: 0;
    font-size: 1em;
}


h2 {
    color: #333;
}

p, li {
    font-size: 1.1rem;
    line-height: 1.5rem;
	color: #444;
}


ul, ol {
    padding-left: 30px;
    margin-left: 0;
    /* list-style-type: none; */
}

a {
    text-decoration: none;
}

/* set colours - all these need to be the same colour so I'm setting it together */
a, li::marker {
    color: #cc0011;
}

/* ... and the related (dimmer) colour */
a:hover {
    color: #ae0311;
}


/* TODO: this doesn't center the markers vertically - find a way to do that */
ul li::marker {
    font-size: 1.8em;
    margin-top: 10px;
}
