body
{
    margin:20px;
    height: 100%;    
}

textarea 
{
    white-space: pre;
    overflow-wrap: normal;
    overflow: auto;
}

.B
{
    display:inline-block;
}

.code
{
    font-family: monospace, monospace;
    resize:none;
    color:aqua;
    background-color: black;  
    margin-left: -1px;
    margin-bottom: 0px;
}

.nums
{
    font-family: monospace, monospace;
    overflow: hidden;
    resize:none;
    color:blue;
    background-color: lightgray;  
    text-align: right;
    margin-right: 0;
    margin-bottom: 0px;
    padding-right: 8px;
}

.button:disabled
{
   opacity: 0.5; /* example: reduce opacity to indicate disabled state */
   cursor: not-allowed;
}

.unselectable 
{
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
    cursor: default;
}

.tabulator-col-title 
{
    text-align: center;
}

.tabulator-cell
{
    text-align: center;
}