pre, code:not(pre code) {
    padding: .2em;
    margin: 0;
    background-color: rgba(0,0,0,.04);
}

/**MENU*/

[name=contentMenu]{
    padding: 0px !important;
    margin-bottom: 0px !important;
}

[name=menu] .ui-data-element{
    padding: 0px 4px 2px 4px;
    margin: 0px;
}

.ui-data-element > a,
.ui-data-element > a:focus,
.ui-data-element > a:hover:focus,
.ui-data-element > a:hover:active {
    text-decoration: none;
    background-color: var(--bg-color);
    color: var(--font-color);
    border: none;
    outline: 0;
}

.ui-data-element > a:hover {
    opacity: 0.7;
}

.ui-data-element.selected > a,
.ui-data-element.selected > a:focus,
.ui-data-element.selected > a:hover:focus,
.ui-data-element.selected > a:hover:active {
    text-decoration: none;
    background-color: var(--bg-selection-color);
    color: var(--font-selection-color);
    border: none;
    outline: 0;
}

/**STR*/
[name=str]{
    background-color: white;
    padding: 5px;
    margin-top: 0px;
    scrollbar-width: thin;

}