div.border {
    position: absolute;
    top: 0;

    width: 250px;
    height: auto;
    padding: 10px 10px 30010px 10px;

    background-color: #C0D8FF;

    margin-bottom: -30000px;
}

div.border.port {
    left: 0;
    border-right: 1px solid #C0D0E0;
}

div.border.starboard {
    right: 0;
    border-left: 1px solid #B0C0D0;
}

div.border h2 {
    width: 100%;
    padding-bottom: 0px;
    margin-bottom: 15px;

    font-size: 16pt;
    text-align: center;
    text-shadow: 1px 1px 2px rgba(0, 0, 0, 0.1);
}

div.border h3, div.border h4, div.border h5 {
    display: block;
    width: 100%;
    padding: 6px 8px;
    color: black;
    cursor: pointer;

    text-shadow: 1px 1px 2px rgba(0, 0, 0, 0.1);
}

div.border h3 { font-size: 12pt; }
div.border h4 { font-size: 11pt; }
div.border h5 { font-size: 10pt; }

div.border ul {
    display: none;
    width: 100%;
    background-color: transparent;
}

div.border div.menu > ul {
    display: block;
    padding: 0px;
}

div.border li.menubox {
    box-shadow: 0 2px 2px -1px rgba(0, 0, 128, 0.3),
        inset 0 1px rgba(255, 255, 255, 0.4),
        inset 0 10px rgba(255, 255, 255, 0.04),
        inset 0 10px 20px rgba(255, 255, 255, 0.3);
    border-radius: 6px;
    margin: 0 0 6px 0;
}

div.border li:last-child {
    margin-bottom: 0;
}

div.border li.menubox.group.closed { background-color: #D0E0FF; }
div.border li.menubox.group.open { background-color: #D0E0FF; }

div.border li.menubox.subgroup.closed { background-color: #E8F0FF; }
div.border li.menubox.subgroup.open { background-color: #E8F0FF; }

div.border li.menubox.device.closed { background-color: #FFFFFF; }
div.border li.menubox.device.open { background-color: #FFFFFF; }

div.border li.graph {
    border: 0px black none;
    box-shadow: none;
}

div.border ul {
    font-size: 10pt;
    list-style-position: inside;
    padding: 0 6px 6px 6px;
}

div.border ul.contains-boxes {
    list-style-type: none;
}

div.border ul.contains-anchors {
    list-style-type: circle;
}

div.border li.device li {
    padding: 0 2px;
    margin-bottom: 0px;
}

div.border p.empty {
    font-size: 9pt;
    padding-left: 13px;
    color: #808080;
}

div.border a, div.border a:visited {
    text-decoration: none;
    color: #002060;
    font-size: 9pt;
}

div.border a:hover {
    text-decoration: underline;
}

div.border li.active {
    list-style-type: disc;
    font-weight: bold;
}

div.border div.device a:first-letter {
    text-transform: capitalize;
}