div.tools{
    padding: 4px 0;
    position: absolute;
    top: -15px;
    right: -20px;
    /* display: none; */
    display: none;
    /* flex-direction: column; */
    /*width: 68px;*/
    /*gap: 8px;*/
    /* font-size: 35px; */
    text-align: center;
    background-color: #fff;
    justify-content: center;
    border-radius: 5px;
    box-shadow: 0 2px 4px rgb(0 0 0 / 12%), 0 0 6px rgb(0 0 0 / 4%);
}
div.tools a{
    margin: 5px;
}
div.tools .icon.iconfont{
    font-size: 20px;
    color: #208bff;
}
div.tools .icon.iconfont:hover{
    font-size: 20px;
    color: #208bff;
}