const char HTMLLogger_html[] = … ; const char HTMLLogger_css[] = … ; const char HTMLLogger_js[] = … ;