diff options
| author | s-ol <s-ol@users.noreply.github.com> | 2020-03-03 15:56:23 +0000 |
|---|---|---|
| committer | s-ol <s-ol@users.noreply.github.com> | 2020-03-05 10:36:33 +0000 |
| commit | b0f6006aa5514a6c3b6b105c791355cf9c366883 (patch) | |
| tree | 09d19b698d1c6bc41c69e6dea5ffd90e6d88c1c2 /docs | |
| parent | refactoring cyclic requires (diff) | |
| download | alive-b0f6006aa5514a6c3b6b105c791355cf9c366883.tar.gz alive-b0f6006aa5514a6c3b6b105c791355cf9c366883.zip | |
add doc generator
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/.gitignore | 1 | ||||
| -rw-r--r-- | docs/style.css | 78 |
2 files changed, 79 insertions, 0 deletions
diff --git a/docs/.gitignore b/docs/.gitignore new file mode 100644 index 0000000..2d19fc7 --- /dev/null +++ b/docs/.gitignore @@ -0,0 +1 @@ +*.html diff --git a/docs/style.css b/docs/style.css new file mode 100644 index 0000000..809ee05 --- /dev/null +++ b/docs/style.css @@ -0,0 +1,78 @@ +html { + margin: 0; + padding: 0; + background: #222222 center center fixed; + background-image: url("data:image/svg+xml,%3Csvg width='30' height='30' viewBox='0 0 30 30' xmlns='http://www.w3.org/2000/svg'%3E%3Cg fill-rule='evenodd'%3E%3Cg fill='%23606060' fill-opacity='0.4'%3E%3Cpath d='m7.5,9v12h4v-2h-2v-8h2V9Zm11,0v2h2v8h-2v2h4V9Z'/%3E%3C/g%3E%3C/g%3E%3C/svg%3E"); +} + +body { + margin: auto; + width: 640px; + background: #eeeeee; + + font-family: 'Source Sans Pro', sans-serif; + color: #222222; +} + +article { + padding: 3rem 2em 1em; +} + +code { + font-family: 'Source Code Pro', monospace; +} + +h2 { + margin: 0.5em 0 0.25em; +} + +a { + color: inherit; +} + +ul { + list-style: '- '; + margin: 0; + padding-left: 0.6em; +} + +nav { + position: fixed; + width: inherit; + height: 4rem; + top: 0; + padding: 1em 2em 4px; + background: #eeeeee; + box-sizing: border-box; +} + +nav div { + display: flex; + justify-content: space-around; + + border-bottom: 1px solid #222222; + padding-bottom: 1em; +} + +nav i { + flex: 1; +} + +nav a { + margin-left: 1rem; +} + +.def { + margin-top: 0.5rem; +} + +.nest { + margin: 0.25rem 0.25rem 0 0; + padding-left: 0.75rem; + border-left: 1px solid #222222; +} + +.nest > p { + margin: 0; + white-space: pre-wrap; +} |