/**********************************************************************/

/* General style sheet for FASH pages */

/**********************************************************************/

:root {
    --fg-colour: black;
    --bg-colour: white;
    --blue-colour: blue;
    --red-colour: red;
    --yellow-colour: #FFFFCC;
}

body {
    background-color: var(--bg-colour);
    color: var(--fg-colour);
    font-family: Times, serif;
}

p {
    margin-top: 1rem;
    margin-bottom: 0rem;
}

#page {
    text-align: center;
}

#header__image {
    padding-top: 1rem;
    width: 70%;
}

#header__menu-block {
    margin: 1rem 0;
    display: flex;
    flex-wrap: wrap;
    justify-content: center;
    align-items: top;
    gap: 2rem;
}

.header__logo {
    height: 8rem;
}

#header__title {
    margin-top: 1rem;
    text-align: center;
    font-size: xxx-large;
    font-weight: bold;
    color: var(--blue-colour);
}

#header__menu-bar {
    padding-top: 1rem;
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 0.5rem;
    a, details {
	padding: 10px 15px;
	color: var(--bg-colour);
	background-color: var(--blue-colour);
	font-weight: bold;
	text-decoration: none;
    }
    ul {
	margin-top: 0.3rem;
	padding: 0.5rem;
	position: absolute;
	white-space: nowrap;
	display: flex;
	flex-direction: column;
	gap: 0.3rem;
    }
}

h1, h2 {
    font-weight: bold;
    text-align: center;
}

h1 {
    font-size: xx-large;
    color: var(--red-colour);
    margin: 3rem 0;
}

h2 {
    font-size: x-large;
    color: var(--blue-colour);
    margin: 2rem 0;
}

.boxed {
    border: 2px solid black;
    padding: 1rem;
    h1, h2 {
	margin: 0;
    }
}

.left-list {
    text-align: left;
}

.centred-list {
    text-align: center;
    ul, ol {
        margin-top: 0;
        display: inline-block;
        text-align: left;
    }
}

.bulletless {
    padding: 0px;
    list-style-type: none;
}

/* Provide style for hide_utils.php's classes */
.hide > span {
    display: none;
}

.link-like {
    color: hsl(from LinkText h s calc(l + 20));
}

.back-to-top {
    margin-top: 1rem;
}

/************************************************************************/

/* End */

/************************************************************************/