 white-space: nowrap;
    text-align: left;
    margin-right: 10px;
    flex: 1;
}

.editor-input-group input {
    margin-left: auto;
}

.nav-button {
    width: 100px;
    height: 32px;
    font-size: 14px;
}

</style>
<div class="sheet-container">
	<script type="text/javascript">
// in different environments the path is different
const paths = [
  '../js/triangle/triangulation.js',
  './js/triangle/triangulation.js',
  '/js/triangle/triangulation.js'
];
async function fileExists(path) {
  try {
    const