#navContainer {
    display: inline;
}
div.floatRight {
    float: right;
}

#graph {
    display: flex;
}

input {
    width: 10ch;
}

input[type="checkbox"] {
    width: 2ch;
    margin-right: 3ch;
}

#extraParams {
    flex: 1 1 20%;
}
select {
    margin-right: 3ch;
}

.circle {
    height: 100%;
    border-radius: 100%;
    text-align: center;
    font-size: 10px;
    display: grid;
    align-content: center;
    justify-content: center;
}
.circle span {
    line-height: normal;
    display:inline-block;
    vertical-align: middle;
}

#resizable{
    display: flex; /* a flex box itself so the right panel can take all space not taken by the handler */
    flex-direction: row;
    width: 30%;

    /* hack to ignore the absolute positioning done by jquery ui */
    left:0 !important;
    position:relative !important;
    /* removing this completely destroys the functionality in IE and FF */
}

#slider{
    background-color: steelblue;
    width:5px;
    height:100%;

    /* position in front of leaflet map */
    z-index: 1000;

    /* hack to ignore the absolute positioning done by jquery ui */
    position:absolute!important;
    right:0px!important;
    /* removing these makes the handler visible in chrome but makes it not pixel perfectly positioned in FF and IE as can be derived from the yellow borders being invisible */
}

#sidebar{
    width: 100%;
    display: flex;
    flex-direction: column;
}

#filterContainer {
    display: flex;
    flex-direction: column
}

#filterUI {
    flex: 0 0 10%;
}

#filterOptions {
    display: flex;
    flex-wrap: wrap;
    flex-direction: row;
}

#fieldDefinition{
    flex: 1 1 100%;
    display:flex;
}

#filterGraph {
    flex: 1 1 90%;
}

#nodeContent {
    overflow-y : scroll;
}
div.tab-pane {
    widht: 100%;
    height: 100%;
}

#tabs {
    /* this is extended to the flex height */
    height: 10%;
    flex: 1 1 100%;
}

#filterContainer {
    width: 100%;
    height: 100%;
}

body {
    overflow:hidden;
}

#main {
    display: flex;
    flex-direction: column;
    height: 100vh;
}

#content {
    flex: 1 1 10%;
}

#header {
    border-bottom: 1px solid;
}

#container {
    flex: 1 1 100vh;
    border-bottom: 1px solid;
    display:flex;
    flex-direction: row;
    overflow:hidden;
}

#headerHider{
  position: absolute;
  top: 0;
  right: 0;
  border:1px solid black;
}

div.tab-pane{
}

#perspectiveOptions {
    display: flex;
    flex-wrap: wrap;
    flex-direction: row;
}

#perspectiveTitle{
    flex: 1 1 20ch;
}
#perspectiveDescription{
    flex: 1 1 40ch;
}