style.css

/*
 * Copyright 2018 Google LLC
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

@import url("https://fonts.googleapis.com/css?family=Roboto:300,400,500,700,400italic|Roboto+Mono:400");

[hidden]:not([hidden="false"]) {
  display: none !important;
}

body {
  margin: 0;
  color: rgba(0, 0, 0, 0.87);
  font-family: Roboto, sans-serif;
  line-height: 24px;
  font-size: 14px;
}

h1,
h2 {
  line-height: 32px;
  margin: 0 0 8px 0;
  font-weight: 400;
}

h1 {
  font-size: 24px;
}

h2 {
  font-size: 20px;
}

ul {
  padding-left: 24px;
}

a:link,
a:visited {
  color: dodgerblue;
}

button {
  cursor: pointer;
}

main {
  display: flex;
  flex-direction: row;
  align-items: stretch;
  height: 100vh;
}

@media (orientation: portrait) {
  main {
    flex-direction: column;
  }
}

main > :first-child,
main > :last-child {
  flex: 1;
  background: white;
}

#editor,
#terminal {
  flex: 1;
  background: white;
}

#terminal {
  overflow-y: scroll;
  overflow-x: hidden;
  border-left: solid rgba(0, 0, 0, 0.12) 1px;
}

#editor {
  display: flex;
  flex-flow: column nowrap;
  align-items: stretch;
  height: 100%;
  overflow: hidden;
  position: relative;
}

.proof-bar .cm-gutterElement {
  cursor: pointer;
}

.cm-content {
  padding: 0 !important;
}

.proof-bar {
  background: #f5f5f5;
  width: 56px;
}

.proof-bar-form {
  position: relative;
}

.proof-bar-form::before {
  content: "";
  color: white;
  position: absolute;
  top: 50%;
  left: calc(50% - 6px);
  font-weight: bold;
}

.proof-bar-proved {
  background: green;
}

.proof-bar-proved::before {
  content: "✓";
}

.proof-bar-pending {
  background: gray;
}

.proof-bar-pending::before {
  content: "🗘";
}

.proof-bar-error {
  background: lightpink;
}

.proof-bar-error::before {
  content: "✖";
}

.proof-bar:hover .proof-bar-unproved,
.proof-bar:hover .proof-bar-unproved::after {
  background: lightgreen;
}

.proof-bar:hover .proof-bar-unproved::after {
  content: "";
  width: 48px;
  height: 48px;
  position: absolute;
  top: calc(100% - 48px / 2);
  transform: scaleY(0.25) rotate(45deg);
}

.proof-bar:hover
  .cm-gutterElement:hover
  ~ .cm-gutterElement
  .proof-bar-unproved,
.proof-bar:hover
  .cm-gutterElement:hover
  ~ .cm-gutterElement
  .proof-bar-unproved::after {
  background: transparent;
}

.read-only {
  /* Override cm-currentLine */
  background: lightgray !important;
}

input {
  flex: 1;
  outline: none;
  border: none;
  background: #eee;
  color: inherit;
  position: relative;
  left: -1px;
}

#input input,
#input .display {
  padding: 8px 0;
}

input:focus {
  background: white;
}

form {
  display: flex;
}

form,
input {
  line-height: 2.7;
}

form,
input,
pre,
textarea,
code,
.CodeMirror {
  font-size: 12px;
  font-family: Monaco, monospace;
  line-height: 1.2;
}

pre {
  margin: 0;
  line-height: 1.45;
  white-space: pre-wrap;
  word-wrap: break-word;
}

.log {
  padding: 8px;
  border-bottom: solid rgba(0, 0, 0, 0.12) 1px;
  position: relative;
}

form,
.log {
  padding-left: 24px;
}

.log,
.log .show-more {
  background: #fbfbfb;
}

.log:nth-child(2n),
.log:nth-child(2n) .show-more {
  background: #f8f8f8;
}

.log.error {
  background: rgba(255, 0, 0, 0.05);
}

.display {
  user-select: none;
  color: rgba(0, 0, 0, 0.5);
}

#toolbar {
  display: flex;
  flex-flow: row nowrap;
  flex-shrink: 0;
  border-bottom: solid rgba(0, 0, 0, 0.12) 1px;
  z-index: 1;
  background: white;
}

#toolbar button {
  width: 40px;
  height: 40px;
  margin: 4px;
  color: rgba(0, 0, 0, 0.6);
  border: none;
  border-radius: 3px;
}

#toolbar button:focus,
#toolbar button:hover {
  background: rgba(0, 0, 0, 0.04);
}

.react-codemirror2 {
  flex: 1;
}

div.CodeMirror {
  overflow: visible;
  height: 100%;
  background: transparent;
}

div.CodeMirror span.CodeMirror-matchingbracket {
  border: solid #aaa 1px;
  margin: -1px;
  color: #997;
}

div.CodeMirror span.CodeMirror-nonmatchingbracket {
  border: solid red 1px;
  margin: -1px;
  color: #997;
}

.CodeMirror-gutters {
  background: none;
  border: none;
}

button.show-more {
  width: calc(100% + 24px);
  position: absolute;
  border: none;
  background: linear-gradient(
    rgba(243, 243, 243, 0.8),
    rgba(243, 243, 243, 1) 45%,
    rgb(234, 233, 233)
  );
  border-top: 1px #ddd solid;
  padding: 4px 8px;
  bottom: 0;
  left: -24px;
  color: #999;
  text-transform: uppercase;
  box-shadow: 0 -4px 8px rgba(181, 181, 181, 0.21);
}

button[aria-label] {
  position: relative;
}

button[aria-label]::before {
  content: attr(aria-label);

  display: none;

  position: absolute;
  bottom: 50%;
  left: 130%;
  z-index: 1;

  margin-bottom: -14px;
  padding: 7px;

  border-radius: 3px;
  background-color: rgba(0, 0, 0, 0.75);
  color: #fff;
  text-align: center;
  font-size: 14px;
  line-height: 1.2;
  white-space: nowrap;
}

button[aria-label]:hover::before {
  display: block;
}

#tutorial {
  overflow-y: scroll;
}

#tutorial .content {
  padding: 8px;
}

pre.clickable {
  cursor: pointer;
  background: rgba(0, 0, 0, 0.04);
  border-left: solid rgba(0, 0, 0, 0.5) 2px;
  padding: 4px;
  margin-bottom: 8px;
}