{{- define "repo_tree_file" -}}
<!DOCTYPE html>
<html>
<head>
<link rel="stylesheet" href="/static/style.css" />
<link rel="stylesheet" href="/static/chroma.css" />
<title>{{ .category_name }}/repos/{{ .repo_name }}/{{ .path_spec }}</title>
</head>
<body class="repo-tree-file">
<p>
/{{ .path_spec }}
</p>
{{ .file_contents }}
</body>
</html>
{{- end -}}