def html_head(stylesheet):
header = """
{}
""".format(stylesheet)
return header
html_footer = """
"""
styles = """
body{
position: absolute;
top:20px;
}
.stylesheet{
display: none;
}
div{
width: 640px;
float:left;
padding:1em;
}
div.folder, div.README{
float: none;
padding: 0.5em 1em;
}
a.dir::before{
content:"📁";
font-size:18px;
padding-right: 1em;
text-decoration:none;
}
a.text::before{
content:"☛";
font-size:18px;
padding-right: 1em;
text-decoration:none;
}
a.back::before{
content:"⮪";
font-size:18px;
padding-right: 1em;
text-decoration:none;
}
a.back{
position: fixed;
top:0;
left:0;
padding:0.5em;
}
.image{
max-width: 100%;
}
.pdf {
width:100%;
}
video {
width:640px;
}
"""