div.property-object {
    border-radius: 10px;
    border: black;
    border-style: solid;
}

div.obraz {
    padding: 15px;
    display: inline-flex;
    border-radius: 10px;
    border: black;
    border-style: solid;
    border-width: 2px;
    z-index: 100;
    max-width: 200px;
}

div.obraz:hover {
    border-color: green;
}

div.marked {
    border-color: aquamarine;
    border-width: medium;
    z-index: 6700;
    background-color: antiquewhite;
    opacity: 85%;
    scale: 1.3;
}

div.obraz.hidden_obraz.marked {
    opacity: 40%;
    z-index: 6500;
}

div.marked-1 {
    border-color: blueviolet;
}

path {
    stroke: black;
    stroke-width: 2px;
    fill: none;
}

path.link {
    stroke: blue;
    opacity: 0.5;
}

path.link:hover {
    stroke: red;
    cursor: crosshair;
}

path.arrow {
    fill: black;
    stroke-width: 0px;
}

.greyer {
    display: block;
    position: absolute;
    left: 0px;
    top: 0px;
    width: 100%;
    height: 100%;
    background-color: #f9f9f9;
    opacity: 0.75;
    z-index: 9999;
}

/* Dropdown Button */
.dropbtn {
    background-color: #4CAF50;
    color: white;
    padding: 16px;
    font-size: 16px;
    border: none;
    cursor: pointer;
}

/* Dropdown button on hover & focus */
.dropbtn:hover, .dropbtn:focus {
    background-color: #3e8e41;
}

/* The container <div> - needed to position the dropdown content */
.dropdown {
    position: relative;
    display: inline-block;
    z-index: 20000;
}

/* Dropdown Content (Hidden by Default) */
.dropdown-content {
    display: block;
    position: absolute;
    background-color: #f9f9f9;
    min-width: 160px;
    box-shadow: 0px 8px 16px 0px rgba(0, 0, 0, 0.2);
    z-index: 10000;
}

/* Links inside the dropdown */
.dropdown-content a {
    color: black;
    padding: 12px 16px;
    text-decoration: none;
    display: block;
}

/* Change color of dropdown links on hover */
.dropdown-content a:hover {
    background-color: #f1f1f1
}

/* Show the dropdown menu (use JS to add this class to the .dropdown-content container when the user clicks on the dropdown button) */
.show {
    display: block;
}

.floating {
    display: none;
    z-index: 20000;
    position: absolute;
}

.close-button {
    display: flex;
    vertical-align: top;
    float: right;
}

div.message_window {
    border-radius: 5px;
    border: green;
    border-style: double;
    position: absolute;
    left: 20px;
    top: 20px;
    z-index: 20000;
    box-shadow: 0 0 10px rgba(0, 0, 0, 0.9);
    padding: 10px;
}

.has-context:hover {
    cursor: pointer;
}

.obraz-draggable {
    width: 20px;
    height: 20px;
    background-color: #3e8e41;
    border-radius: 30%;
}

.obraz-context {
    width: 20px;
    height: 20px;
    background-color: darkkhaki;
    border-radius: 40%;
}

.obraz-buttons {
    margin-top: -10px;
    min-width: 20px;
}

.as-prop {
    font-style: italic;
}

.as-link {
    text-decoration: underline dashed;
}

.bounded {
    font-weight: bold;
}

path.marked-link {
    stroke: color(xyz 0.35 0.67 0.63);
    stroke-width: 3;
}

path.marked-link.hidden_link {
    stroke: color(xyz 0.35 0.67 0.63);
    opacity: 30%;
    z-index: 5000;
}