comparison index_app.py @ 115:2b5d93c5628a

merge heads
author paulo
date Mon, 03 Aug 2020 02:02:02 -0600
parents 0fbe37b56e84
children
comparison
equal deleted inserted replaced
2:73411b5df952 3:5bcf8afb21e4
30 dirs.append((i, mtime, indexroot)) 30 dirs.append((i, mtime, indexroot))
31 31
32 root = html.HTML("html") 32 root = html.HTML("html")
33 title = "-[pauloang.com]-" 33 title = "-[pauloang.com]-"
34 34
35 header = root.header 35 header = root.head
36 header.title(title) 36 header.title(title)
37 header.link(rel="stylesheet", type="text/css", href="index.css") 37 header.link(rel="stylesheet", type="text/css", href="index.css")
38 38
39 body = root.body(klass="body") 39 body = root.body(klass="body")
40 body.h1(title, escape=False) 40 body.h1(title, escape=False)