(library
  (public_name odoc-scrollycode-extension.impl)
  (name scrollycode_extension)
  (modules scrollycode_extension scrollycode_css scrollycode_themes)
  (libraries odoc.extension_api odoc.model odoc.document))

(plugin
  (name odoc-scrollycode-extension)
  (libraries odoc-scrollycode-extension.impl)
  (site (odoc extensions)))