var DOC_VERSIONS = [
  "v1",
  "v1.3",
  "v1.2",
  "v1.1",
  "v1.0",
  "dev",
];
var DOCUMENTER_NEWEST = "v1.3.0";
var DOCUMENTER_STABLE = "v1";