/* ===================== flexx.ui.widgets._dropdown =====================*/

/* Autogenerated code from Flexx. Code Subject to the BSD-2-clause license. */





        .flx-BaseDropdown {
            display: inline-block;
            overflow: visible;
            margin: 2px;
            border-radius: 3px;
            padding: 2px;
            border: 1px solid #aaa;
            max-height: 28px; /* overridden by maxsize */
            white-space: nowrap; /* keep label and but on-line */
            background: #e8e8e8
        }

        .flx-BaseDropdown:focus {
            outline: none;
            box-shadow: 0px 0px 3px 1px rgba(0, 100, 200, 0.7);
        }

        .flx-BaseDropdown > .flx-dd-edit {
            display: none;
            max-width: 2em;  /* reset silly lineedit sizing */
            min-width: calc(100% - 1.5em - 2px);
            min-height: 1em;
            margin: 0;
            padding: 0;
            border: none;
        }

        .flx-BaseDropdown > .flx-dd-label {
            display: inline-block;
            min-width: calc(100% - 1.5em - 2px);
            min-height: 1em;
            user-select: none;
            -moz-user-select: none;
            -webkit-user-select: none;
            -ms-user-select: none;
        }

        .flx-BaseDropdown.editable-true {
            background: #fff;
        }
        .flx-BaseDropdown.editable-true > .flx-dd-label {
            display: none;
        }
        .flx-BaseDropdown.editable-true > .flx-dd-edit {
            display: inline-block;
        }

        .flx-BaseDropdown > .flx-dd-button {
            display: inline-block;
            position: static;
            min-width: 1.5em;
            max-width: 1.5em;
            text-align: center;
            margin: 0;
        }
        .flx-BaseDropdown > .flx-dd-button:hover {
            background: rgba(128, 128, 128, 0.1);
        }
        .flx-BaseDropdown > .flx-dd-button::after {
            content: '\25BE';  /* 2228 1F847 1F83F */
        }

        .flx-BaseDropdown .flx-dd-space {
            display: inline-block;
            min-width: 1em;
        }

        .flx-BaseDropdown > .flx-dd-strud {
            /* The strud allows to give the box a natural minimum size,
               but it should not affect the height. */
            visibility: hidden;
            overflow: hidden;
            max-height: 0;
        }
    



        .flx-ComboBox {
        }

        .flx-ComboBox > ul  {
            list-style-type: none;
            box-sizing: border-box;
            border: 1px solid #333;
            border-radius: 3px;
            margin: 0;
            padding: 2px;
            position: fixed;  /* because all our widgets are overflow:hidden */
            background: white;
            z-index: 9999;
            display: none;
        }
        .flx-ComboBox.expanded > ul {
            display: block;
            max-height: 220px;
            overflow-y: auto;
        }

        .flx-ComboBox.expanded > ul > li:hover {
            background: rgba(0, 128, 255, 0.2);
        }
        .flx-ComboBox.expanded > ul > li.highlighted-true {
            box-shadow: inset 0 0 3px 1px rgba(0, 0, 255, 0.4);
        }
    


        .flx-DropdownContainer {
            min-width: 50px;
        }
        .flx-DropdownContainer > .flx-Widget {
            position: fixed;
            min-height: 100px;
            max-height: 300px;
            width: 200px;
            background: white;
            z-index: 10001;
            display: none;
        }
        .flx-DropdownContainer.expanded > .flx-Widget {
            display: initial;
        }
    