header .col-12 {
    /* https://www.geeksforgeeks.org/maintain-the-aspect-ratio-of-a-div-with-css/ */
    /*padding-top: 56.25%;*/
    padding-top: 75%;
    background-image: url('../files/img/floor2-floor-plan.jpg');
    background-position: center;
    background-repeat: no-repeat;
    background-attachment: scroll;
    background-size: cover;
}

/*:target {*/
/*    scroll-margin-top: 20px;*/
/*}*/

#hotspot-1 {
    left: 60%;
    top: 60%;
}

#hotspot-2 {
    left: 52%;
    top: 48%;
}

#hotspot-3 {
    left: 35%;
    top: 48%;
}

#hotspot-4 {
    left: 18%;
    top: 43%;
}

#hotspot-5 {
    left: 21%;
    top: 25%;
}

#hotspot-6 {
    left: 38%;
    top: 25%;
}

#hotspot-7 {
    left: 55%;
    top: 36%;
}

#hotspot-8 {
    left: 76%;
    top: 38%;
}

#hotspot-9 {
    left: 79%;
    top: 54%;
}

/* 01 */
#hotspot-10 {
    left: 76.8%;
    top: 89%;
}

/* 02 */
#hotspot-11 {
    left: 75%;
    top: 71%;
}

/* 03 */
#hotspot-12 {
    left: 76%;
    top: 58%;
}

/* 04 */
#hotspot-13 {
    left: 65%;
    top: 50%;
}

/* 05 */
#hotspot-14 {
    left: 42%;
    top: 25%;
}

/* 06 */
#hotspot-15 {
    left: 30%;
    top: 38%;
}

/* 07 */
#hotspot-16 {
    left: 22%;
    top: 43%;
}