Pug to Html
// See this website: https://pughtml.com/
Coding Random Things
// See this website: https://pughtml.com/// use https://pughtml.com/ for thishtml
head
title= title
link(rel="stylesheet", href="/stylesheets/index.css")
body
div(id="editor-parent")
div(id="problem")
div(id="statement")
div(id="input-format")
div(id="output-format")
div(id="constraints")
div(id="solution")
div(id="language-and-timer")
select(id="language")
for language in languages
option(value="" + language.id + "")= language.name
h3(id="time-left") Time left:
span(id="timer-h")
span(id="timer-m")
span(id="timer-s")
div(id="editor")
div(id="input-output")
div
label(for="custom-input") custom input
textarea(id="custom-input")
div
label(id="result-label", for="result") result
textarea(id="result", disabled="true")
button(id="compile-and-test") compile and test
script(src="/javascripts/ace-builds/src-noconflict/ace.js", type="text/javascript")
script(src="/javascripts/editor.js")