body {
    font-family: Verdana, Arial;
}

h1 {
    text-align: center;
}

.info {
    text-align: center;
}
.info img {
    display: block;
    width: 128px;
    height: 128px;
    margin: auto;
}

a {
    color: #00007f;
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}

h2 {
    text-align: center;
}

.vl-diagram {
    max-width: 100%;
    display: block;
    margin: 48px auto 48px auto;
}

.code {
    margin-top: 48px;
    white-space: pre;
    width: 100%;
    box-sizing: border-box;
    padding: 16px;
    background-color: #efefef;
    overflow: auto;
    font-family: monospace;
}

.code form {
    width: 384px;
    margin: auto;
    padding: 16px;
    border: solid 1px #6f6f6f;
    background-color: #ffffef;
    white-space: normal;
}

.code form label {
    display: block;
    position: relative;
    height: 2em;
}
.code form label input {
    position: absolute;
    top: 0;
    left: 8em;
    width: 20em;
}
.code form .status {
    margin-top: 8px;
    height: 1.5em;
    width: 100%;
    text-align: center;
    font-weight: 900;
}
.status_ok {
    color: #007f00;
}
.status_error {
    color: #7f0000;
}