html {
  font-size:calc(100% * 0.625);
}

* {
  box-sizing: border-box;
}

body {
  margin:0;
  font-size:1.9rem;
}

.editor {
  width:100%;
  margin:4rem;
}

button{
  font-size:3rem;
  padding:1.5rem;
  margin:1rem;
}

/* ここにあるように、フォントの変更は自由に出来るようです。 */
/* https://codemirror.net/examples/styling/ */
/*.cm-editor .cm-content { font-family: "Hui" }*/