body {
    font-family: Arial, sans-serif;
    margin: 10px;
}
.main-container {
    display: flex;
    gap: 10px;
    margin-top: 10px;
}
.left-panel {
    flex: 1;
    min-width: 0;
}
.right-panel {
    flex: 1;
    min-width: 0;
    display: flex;
    flex-direction: column;
    position: relative;
}
#ketcher-frame {
    width: 100%;
    height: 400px;
    border: 1px solid #ccc;
}
button {
    padding: 5px 10px;
    margin: 2px;
    cursor: pointer;
    font-size: 12px;
}
h1 {
    font-size: 17px;
    margin: 5px 0;
}
/* hidden trick: */
textarea {
    position: absolute;
    left: -9999px 
}

/*------------------------------------------------------------*/
/* Applies to all text form */
input {
        /*font-weight:bold;*/
        color: #000;
}
/*---------------------------------------------------------*/

/*------------------------------------------------------------------*/
/* identifier */

        #mainMenu{
                font-family: Arial, Trebuchet MS, Lucida Sans Unicode, Arial, sans-serif;
                font-size:1.0em;        /* Font size of main menu items */
                position:relative;      /* Don't change this position attribute */
                visibility: visible;
                white-space: nowrap;
        }

        #mainMenu a{
                color: #FFFFFF;
                position:relative;
        }

        #mainMenu a.visited{
                color: #FFFFFF;
        }

        #mainMenu .activeMenuItem{
                font-size:1.0em;
                color: #000000;
                font-weight: bold;
                cursor:pointer; /* Cursor like a hand when the user moves the mouse over the menu item */
        }

        #mainMenu .inactiveMenuItem{
                color: #FFFFFF;    /* Text color */
                font-weight: bold;
                cursor:pointer; /* Cursor like a hand when the user moves the mouse over the menu item */
        }
/* ------------------------------------------------------------------------------ */
/*------------------------------------------------------------*/

A {
        color: #2554C7;
        text-decoration: none;
}
A:hover{
        color: #6699FF;
}
A:visited{
        color: #2554C7;
}

/*------------------------------------------------------------*/
html {
        padding-top:0px;
        background-color: #FFFFFF;
        font-family: Arial, helvetica, sans-serif;
        font-size: 0.9em;

    }
/*------------------------------------------------------------*/