uto!important;
        }
    </style>
</head>
<body>

    
    <!-- <textarea id="myText" rows="4" cols="10"></textarea> -->

    
</body>
<script type="text/javascript">
    let innerHeight = window.innerHeight;
    let innerWidth = window.innerWidth;
    console.log("innerHeight,", innerHeight,",innerWidth=", innerWidth)
    // document.querySelector(".CodeMirror").style.height=innerHeight;
    let isDark = window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches
    let defaultValue