an html generator from .dim by myself