body {
    font-family: 'Segoe UI', Tahoma, Geneva, Verdana, sans-serif;
}

code {
    display: inline-block;
    padding: 0.2cm;
    margin-left: 0.4cm;
    margin-right: 0.4cm;
    border: 1px solid gray;
    background: rgba(128,128,128,0.1);
}

code[lang=no-cfsl] {
    font-style: italic;
    color: gray;
    background: rgb(250,250,250);
}

.CodeIndentBlock {
    display: inline-block;
    margin-left: 1.5em;
}

table {
    border-collapse: collapse;
}

th {
    font-style: italic;
    text-align: left;
    font-weight: normal;
}

.DefinitionBlock {
    margin-left: 0.5cm;
    margin-right: 0.5cm;
    display: inline-block;
    padding: 0.3cm;
    border: 1px solid blue;
    background: rgba(0,128,255,0.1);
}

.AnnotationIdentifier {
    border: 1px solid green;
    background: rgba(0,255,0,0.1);
    font-size: small;
    font-family: Consolas;
    cursor: pointer;
}

.AnnotationContent {
    white-space: pre;
    font-family: Consolas;
    font-size: small;
}

.RestraintIdentifier {
    border: 1px solid red;
    background: rgba(255,0,0,0.1);
    font-size: small;
    cursor: pointer;
}

.HorizontalContainer {
    display: flex;
    flex-direction: row;
    flex-wrap: wrap;
    align-items: center;
    gap: 3px 3px;
}

.FormTag {
    color: lightgray;
}


[language=no-cfsl], .no-cfsl {
    font-style: italic;
    color: darkgray;
}

.precode {
    white-space: pre-line;
}

.PresentationContainer {
    display: flex;
    flex-direction: row;
}

.PresentationBody {
    margin-top: 7mm;
    margin-left: 1cm;
    max-width: 198mm;
}

.Footer {
    padding-top: 10px;
    font-size: small;
    color: gray;
    text-align: center;
}