App.css

/**
 * (c) 2021, Micro:bit Educational Foundation and contributors
 *
 * SPDX-License-Identifier: MIT
 */

@font-face {
  font-family: "Source Code Pro";
  font-style: normal;
  font-weight: 500;
  src: local(""),
    url("https://fonts.microbit.org/source-code-pro/v14/source-code-pro-v14-latin-500.woff2")
      format("woff2"),
    /* Chrome 26+, Opera 23+, Firefox 39+ */
      url("https://fonts.microbit.org/source-code-pro/v14/source-code-pro-v14-latin-500.woff")
      format("woff"); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}

:root {
  /* Seems to fix a Safari glitch: https://github.com/microbit-foundation/python-editor-v3/issues/369 */
  font-size: 16px;
}

html,
body,
#root,
.WorkbenchContainer,
.Workbench {
  width: 100%;
  height: 100%;
  /* 516px is the min height of the sidebar */
  min-height: 516px;
  /* 372px is the sidebar width + simulator width */
  min-width: 372px;
}