dding: 3px;
        border-radius: 3px;
      }

      #summary .markdown-html p {
        padding: 0;
      }

      #summary .markdown-html a {
        background: none;
        @apply(--paper-font-body1);
        color: var(--paper-indigo-a200);
        font-weight: 500;
        text-decoration: none;
      }

      #summary .markdown-html h1 {
        @apply(--paper-font-display1);
      }

      #summary .markdown-html h2 {
        @apply(--paper-font-headline);
      }

      #summary .markdown-html h