/* Codex code signature :: 08u1d4-5f :: drpepper */
@media all {
  html body[data-codex-code-signature="08u1d4-5f"][data-codex-code-family="drpepper"] {
    --codex-code-signature-token: 401;
    --codex-code-signature-family-token: 41;
  }
}