message: Fix the buildinfo panel.
diff: padding: 0;
  margin: 0;
  vertical-align: top;
  - margin-right: 18px;
  + margin-right: 1.5rem;
  }
  #stepTimes ul {
  }
  #stepTimes h3 {
  - font-size: 15px;
  + font-size: 1.25rem;
  background: var(--vscode-editor-foreground);
  color: var(--vscode-editor-background);
  padding: 0.1em 0.5em;
  }
  #stepTimes ul li {
  - font-size: 11px;
  + font-size: 1rem;
  border-radius: 0.5em;
  padding: 0;
  margin: 0 0 0em 1em;
  margin: 0 0.5em 0 0;
  padding: 0;
  margin: 0;
  - /* font-weight: 600; */
  - /* position: relative;
  - float: left; */
  }
  #stepTimes ul li span.pageTime {
  display: inline-block;
  }
  - /* #timeInfo #eta {
  - font-size: 1.5rem;
  - float: right;
  - }
  - #timeInfo #eta::before {
  - content: "Eta";
  - margin-right: 0.5em;
  - } */
  -
  #compilationSpeed {
  height: 15rem;
  width: calc(95vw - 3rem);
  height: 1.1em;
  position: relative;
  margin-top: 0.1em;
  - margin-bottom: -1.2em;
  + margin-bottom: -1em;
  box-sizing: border-box;
  margin-left: -0.3em;
  border-radius: 0.2em;
  