@font-face {
  font-family: "Ubuntu";
  src: url("../vendor/fonts/ubuntu/Ubuntu-Regular.ttf");
}

html,
body {
  font-family: "Ubuntu", Tahoma, sans-serif;
  margin: 0;
  padding: 0;
  height: 100%;
  overflow: hidden;
}

body {
  display: grid;
  grid-template-columns: 1fr 1fr;
}

body > div {
  overflow: hidden;
}

twisty-player {
  width: 100%;
  height: 100%;
}

#controls {
  box-sizing: border-box;
  padding: 0 2.5vw;
  overflow-y: auto;
}

#video {
  width: 100%;
  height: 30vw;
}

twisty-alg-leaf-elem:not(.comment):hover {
  cursor: pointer;
  color: #4285f4;
  text-decoration: underline;
  /* background: rgba(0, 0, 0, 0.15);
  box-shadow: 0 0 0.15em 0.15em rgba(0, 0, 0, 0.15); */
}

twisty-alg-leaf-elem.twisty-alg-comment {
  color: rgba(0, 0, 0, 0.4);
}