@charset UTF-8;
@import url("_odoc-theme/manual.css");