html {
    height: 95%;
}

body {
    height: 95%;
    display: flex;
    flex-direction: column;
    /* font-family: "Arial", Helvetica, sans-serif; */
    background-color: var(--color-1);
}

div {
    border: 0.0px solid gray;
}

#letters a, #words a, .frame-sentences-wrapper a {
    text-decoration: none;
    color: inherit;
    font-weight: bold;
}

#letters a:hover, #words a:hover {
    color: var(--color-1);
}

.monospace {
    font-family: "Lucida Console", Monaco, monospace
}

#header h2 {
    text-align: center;
}

#letters {
    display: flex;
    flex-wrap: wrap;
    justify-content: space-evenly;
    padding: 5px;
    margin: 5px;
    background-color: var(--color-3);
    border-radius: 5px;
}

#letters span {
    margin: 5px;
}

#words {
    width: 200px;
    overflow-y: scroll;
    background-color: var(--color-3);
    border-radius: 5px;
    margin: 5px;
    padding-top: 5px;
}

#main-body {
    display: flex;
    flex-direction: row;
}

#main-content {
    flex-grow: 1;
    margin: 5px;
    display: flex;
    flex-direction: column;
}

#reduce-functions {
    background-color: var(--color-3);
    padding: 5px;
    margin-bottom: 5px;
    border-radius: 5px;
}

#reduce-functions * {
    display: inline-block;
}

#word-info {
    background-color: var(--color-4);
    border-top-left-radius: 5px;
    border-top-right-radius: 5px;
    margin-top: 5px;
    padding: 5px;
}

#word-info-left {
    display: inline-block;
    float: left;
    margin-right: 50px;
}

#word-info-right {
    display: inline-block;
    float: left;
}

#frames-area {
    flex-grow: 1;
    background-color: var(--color-2);
    padding: 5px;
}

#words {
    width: 200px;
    overflow-y: scroll;
}

.frame-sense {
    display: inline;
    float: left;
    height: 100%;
}

.frame-table {
    display: inline;
    float: left;
    border-collapse: collapse;
    border: 1px solid;
    margin-right: 20px;
}

.frame-table td, th {
    border-left: 1px solid;
    border-right: 1px solid;
    padding: 2px;
    min-width: 50px;
    max-width: 100px;
    max-height: 200px;
}

.frame-sentences-wrapper {
    clear: both;
}

.frame-sentences td {
    padding-bottom: 10px;
}

/* Hide some data*/
/*
.frame-table tr:nth-child(2) {
    display: none;
}
.frame-table tr:nth-child(3) {
    display: none;
}
*/

.token-div {
    margin-top: 10px;
    margin-bottom: 5px;
}

.token-div td:nth-child(1) {
    min-width: 100px;
}

.hw-highlight {
    color: blue;
}

.functor-highlight {
    color: red;
    cursor: pointer;
}





/* CSS - Cascading Style Sheet */
/* Palette color codes */
/* Palette URL: http://paletton.com/#uid=13D0u0k7UUa3cZA5wXlaiQ5cFL3 */

/* Feel free to copy&paste color codes to your application */


/* As hex codes */




/* As RGBa codes */

.rgba-primary-0 { color: rgba(183,206,236,1) }  /* Main Primary color */
.rgba-primary-1 { color: rgba(228,238,251,1) }
.rgba-primary-2 { color: rgba(206,223,245,1) }
.rgba-primary-3 { color: rgba(159,188,225,1) }
.rgba-primary-4 { color: rgba(135,168,211,1) }



/* Generated by Paletton.com © 2002-2014 */
/* http://paletton.com */

:root {
    --color-0: #B7CEEC;
    --color-1: #E4EEFB;
    --color-2: #CEDFF5;
    --color-3: #9FBCE1;
    --color-4: #87A8D3;
}