p {
        padding-left: 10px;
        padding-right: 10px;
        text-align: justify;
        text-justify: inter-word;
    }

    pre {
        font-family: inherit;
        font-size: inherit;
        border: none;
        padding-left: 10px;
        padding-right: 10px;
        text-align: justify;
        text-justify: inter-word;
    }

    .div-border {
        padding-top: 10px;
        padding-bottom: 10px;
    }

    .div-border-title {
        line-height: 50px;
        padding-left: 10px;
    }

    .div-border-title + .div-border-subtitle {
        margin-top: 20px;
    }

    .div-border-subtitle {
        font-size: 18px;
        font-family: Helvetica, Arial, Sans-Serif;
        line-height: 30px;
        width: 100%;
        border: 1px solid black;
        border-radius: 5px;
        padding: 0;
        margin: 0;

        padding-left: 10px;
        background-color: lightgrey;
        color: black;
        border: 1px solid grey;
    }

    img {
        padding: 10px;
    }

    label {
        text-align: center;
        display: block;
        width: 100%;
        text-decoration: underline;
    }