!7

p {
  if (isMain()) serveHttpAndOpenBrowser();
}

html {
  S programID = #1010745;
  S java = getServerTranspiled(programID);
  time {
    java = javaParser_makeAllPublic_keepComments(java);
  }
  ret htitle("Source Code Marquee") + [[<marquee behavior="scroll" direction="up" style="height: 100%">]] + pre(htmlencode(text)) + "</marquee>";
}