tvl-depot/users/sterni/htmlman/defaultStyle.nix
sterni 2cd2b58a04 feat(users/sterni/htmlman): static site generator for manual pages
htmlman is a very simple nix based static site generator which is
intended for rendering HTML representations for man pages plus an index
page listing all available pages. For the sake of simplicity (and unlike
previous iterations of this piece of code) other documentation artifacts
and formats are not supported.

Usually web services like GitHub and depot's web interface are pretty
good at displaying "normal" documentation artifacts like markdown files,
but man pages are usually not rendered — with the additional problem
that it's source is virtually unreadable. htmlman should provide a
simple static site generator which can be plugged into GitHub actions or
the like to automatically generate rendered version of man pages tracked
in version control.

Change-Id: Ib53292964b3ff84c32d70c5fde257a2edb8c2122
Reviewed-on: https://cl.tvl.fyi/c/depot/+/2596
Tested-by: BuildkiteCI
Reviewed-by: tazjin <mail@tazj.in>
Reviewed-by: Profpatsch <mail@profpatsch.de>
Reviewed-by: sterni <sternenseemann@systemli.org>
2021-03-11 13:12:31 +00:00

49 lines
690 B
Nix

{ ... }:
''
body {
font-size: 1em;
line-height: 1.5;
font-family: serif;
background-color: #efefef;
}
h1, h2, h3, h4, h5, h6 {
font-family: sans-serif;
font-size: 1em;
margin: 5px 0;
}
h1 {
margin-top: 0;
}
a:link, a:visited {
color: #3e7eff;
}
h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
text-decoration: none;
}
.manual-text, .index-text {
padding: 20px;
max-width: 800px;
background-color: white;
margin: 0 auto;
}
table.head, table.foot {
display: none;
}
.Nd {
display: inline;
}
/* use same as cheddar for man pages */
pre {
padding: 16px;
background-color: #f6f8fa;
}
''