12px;
      }

      #summary .markdown-html td:first-child,
      #summary .markdown-html th:first-child {
        padding-left: 24px;
      }

      #summary .markdown-html td:last-child,
      #summary .markdown-html th:last-child {
        padding-right: 24px;
      }

      #summary .markdown-html td:first-child > code {
        color: black;
        font-weight: bold;
      }

      #summary .markdown-html code {
        @apply(--paper-font-code1);
        background: var(--paper-grey-200);
        pa