* {
    margin: 0;
    padding: 0;
    font-family: "Arial", "sans-serif";
}

div.content {
    margin: auto;
    order: 1;
    background: #eee;
}

div.result {
    background: #efe;
    margin: auto;
    padding: 20px;
    border: 1px solid #888;
    width: 80%;
    height: 80%;
    overflow-y: scroll;
}

div.form {
    clear: both;
    background: #ddf;
}


h1 {
    font-size: 2em;
    padding-bottom: 1em;
}

h3 {
    font-size: 1.3em;
    padding-top: 1em;
    padding-bottom: .2em;
    padding-left: .35em;
}

div.result h3 {
    padding-left: 0em;
}

p {
    font-size: 1em;
    padding: .25em 0;
}

body {
    padding: 1em;
}

button {
    padding: .25em;
}

.code {
    padding: .5em;
    background-color: rgba(128, 128, 128, 0.25);
}

pre.json {
    padding: .5em;
}

div.code p,
pre.code,
p.code {
    font-family: monospace;
    overflow-wrap: break-word;
    font-size: 120%;
}

p.code span {
    font-family: monospace;
    overflow-wrap: break-word;
}

p code {
    font-family: monospace;
    font-size: 110%;
}

th, td {
    padding: 5px;
    vertical-align: top;
    background-color: rgba(0, 0, 0, 0.1);
}

input, select {
    padding: 3px;
    margin: 3px;
}

td.pitxt {
    padding: 12px;
}

::-webkit-input-placeholder {
    color: #ccc;
}

input[type=text]:not(:placeholder-shown) {
    border-color: limegreen;
    border-style: solid;
}

.modal {
    display: none;
    position: fixed;
    z-index: 1;
    padding-top: 50px;
    left: 0;
    top: 0;
    width: 100%;
    height: 100%;
    overflow: auto;
    background-color: rgb(0, 0, 0);
    background-color: rgba(0, 0, 0, 0.5);
}

span.map {
    color: Crimson;
}

span.criteria {
    color: green;
}

span.sorter {
    color: RoyalBlue;
}

span.haystack {
    color: Purple;
}

textarea {
    width:100%;
}