main.content div.sourceCode pre.terminal-pseudocode.numberSource {
  padding-left: 3.3rem;
  font-size: var(--paper-code-size);
  line-height: var(--paper-code-leading);
}
main.content pre.numberSource code > span > a:first-child::before {
  min-width: 0;
}