/* -----------------------------------------------------------------------------
 * Default HTML constructs
 * ---------------------------------------------------------------------------*/
body { margin: 0; font-family: Sans, Sans-Serif; }
pre 
{ 
    white-space: pre-wrap; 
    margin-left: 2rem;
}
img 
{
    height: auto;
    margin: 0;
    max-width: 100%;
    padding: 0;
}
h1, h2, h3, h4 { clear: left; }
li { margin: 0.5rem 0;}

/* -----------------------------------------------------------------------------
 * Main page components
 * ---------------------------------------------------------------------------*/ 
main { margin: 1rem; }
main h1:first-of-type 
{
	 clear: none;
	 margin-top: 0;
}

header 
{
    background-color: #8A0000;
    color: #AAAAAA;
    padding: 0.3rem 0.5rem;
    margin: 0;
 
   overflow: hidden;
}
header a { color: white; }
header a:visited { color: white; }


/* -----------------------------------------------------------------------------
 * Misc
 * ---------------------------------------------------------------------------*/ 
.left { float: left; }
.right { float: right; }


/* -----------------------------------------------------------------------------
 * code boxes
 * ---------------------------------------------------------------------------*/ 

div.sourceCode {border-style: hidden hidden hidden dotted;}

/* style of <code ...>*/
.sourceCode code {
    font-family: monospace;
    font-size: 0.9rem;
    color: #222;
}

/* Simple syntax example */
.sourceCode .fu { color: #005cc5; font-weight: bold; } /* functions like ls */
.sourceCode .kw { color: #d73a49; }                    /* keywords */
.sourceCode .va { color: #6f42c1; }                    /* variables */
.sourceCode .st { color: #032f62; }                    /* strings */

/* Label showing the language */
.sourceCode[data-org-language] {
    position: relative;
}

.sourceCode[data-org-language]::before {
    content: attr(data-org-language);
    top: -0.6rem;
    right: 0.5rem;
    background: #ddd;
    padding: 0 0.35rem;
    border-radius: 4px;
    font-size: 0.7rem;
}