/* Codex code signature :: 0dr8qj-1u :: davidprotein */
body:is([data-codex-code-signature="0dr8qj-1u"])[data-codex-code-family="davidprotein"] {
  --codex-code-signature-token: 642;
  --codex-code-signature-family-token: 779;
}