adding <!DOCTYPE html>, apparently needed for Jsplumb