div.leftmenu {
    float: left;
    height: 100%;
    width: var(--leftmenu-width,20%);
    margin-bottom: -30000px;
    padding-bottom: 30010px;
    background-color: var(--leftmenu-background-color,#CDF5C8);
    color: var(--leftmenu-color,#144001);
    line-height: var(--leftmenu-line-height,140%);
    font-size: var(--leftmenu-text-size,100%);
}

div.leftmenu h1 {
    width: 100%;
    text-align: center;
    font-size: 100%;
}

div.leftmenu h2 {
    width: 100%;
    text-align: left;
    color: var(--leftmenu-group-color,#144001);
    font-size: var(--leftmenu-group-text-size,100%);
    font-weight: var(--leftmenu-group-text-weight,bold);
    margin-top: 5px;
    margin-bottom: 5px;
    margin-left: 30px;
}

div.leftmenu led {
    width: 20px;
    margin-left: 2px;
}

div.leftmenu h3 {
    width: 100%;
    text-align: left;
    font-size: var(--leftmenu-device-text-size,100%);
    color: var(--leftmenu-device-color,#1440FF);
    margin-top: 0px;
    margin-bottom: 10px;
    margin-left: 0px;
    font-weight: normal;
    position: relative;
    bottom: 2px;
    display: inline;
}


div.leftmenu h3 a {
    color: var(--leftmenu-device-color-a,#043501);
    text-decoration: var(--leftmenu-device-text-decoration,underline);
}

.leftmenu-selected:link{
    color: var(--leftmenu-device-selected-color,#ffffff);
    font-weight: var(--leftmenu-device-selected-font-weight,bold);
}

.leftmenu-selected:visited{
    color: var(--leftmenu-device-selected-color,#ffffff);
    font-weight: var(--leftmenu-device-selected-font-weight,bold);
}


div.leftmenu h3 a:hover {
    color: var(--leftmenu-device-hover-color,#2060A0);
}

div.leftmenu hr {
    background-color: var(--leftmenu-group-separation-color,#000000);
    height: var(--leftmenu-group-separation-height,1px);
    border: none;
}