summary {
    font-size: x-large;
    width: max-content;
    cursor: pointer;
}

#automata_container {
    display: grid;
    grid-template-columns: 1.2fr 4fr 10fr;
    min-height: 300px;
    margin: 20px;
    border: 1px solid #e6e6e6;
    border-radius: 10px;
    padding: 5px;
}

#automata_list {
    background-color: #f5f5f5;
    overflow: auto;
    position: relative;
}

#automata_list ul {
    list-style-type: none;
    padding: 5px;
    margin: 0;
}

.graph_name {
    background-color: #e6e6e6;
    color: #5a5a5a;
    margin: 5px 0px 5px 0px;
    border-radius: 3px;
    font-size: large;
    cursor: pointer;
    padding-inline-start: 4px;
}

#automaton_txt {
    background-color: #e6e6e6;
    display: flex;
    flex-direction: column;
    padding: 10px;
}

#automaton_txt_header {
    padding: 5px;
    background-color: #eeeeee;
    display: flex;
    justify-content: space-around;
    border-radius: 4px;
}

#automaton-content {
    margin-block-start: 2px;
    resize: none;
    width: 100%;
    height: 100%;
    box-sizing: border-box;
    overflow: auto;
    padding: 10px;
    border: none;
    background-color: #f8f8f8;
    white-space: pre;
}

#add-button {
    position: absolute;
    bottom: 10px;
    left: 10px;
    background-color: #e6e6e6;
    color: #8f8f8f;
    border: none;
    border-radius: 25%;
    width: 30px;
    height: 30px;
    font-size: 24px;
    text-align: center;
    cursor: pointer;
    z-index: 2;
}

#automaton_image{
    position: relative;
}

#buttons {
    position: absolute;
    top: -20px;
    right: 0px;
    display: flex;
    flex-direction: row;
}

#buttons button{
    margin-right: 10px;
}

#cy-block {
    height: 450px;
}

#cy {
    width: 100%;
    height: 95%;
}