diff options
author | Lars Wirzenius <liw@liw.fi> | 2023-09-01 17:29:52 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2023-09-01 17:29:52 +0300 |
commit | 98a8453263bcb8054632086b33251908d3198bad (patch) | |
tree | 420a8081b97be7eee7e59dcd6e946268e23a2449 | |
download | ambient-web-98a8453263bcb8054632086b33251908d3198bad.tar.gz |
initial commit
-rw-r--r-- | admin.mdwn | 6 | ||||
-rw-r--r-- | ikiwiki.setup | 38 | ||||
-rw-r--r-- | index.mdwn | 7 | ||||
-rw-r--r-- | local.css | 79 | ||||
-rw-r--r-- | style.css | 154 |
5 files changed, 284 insertions, 0 deletions
diff --git a/admin.mdwn b/admin.mdwn new file mode 100644 index 0000000..cd768e4 --- /dev/null +++ b/admin.mdwn @@ -0,0 +1,6 @@ +[[!meta title="Administrativia"]] + + +# Missing people and other broken links + +[[!brokenlinks pages="notes/*"]] diff --git a/ikiwiki.setup b/ikiwiki.setup new file mode 100644 index 0000000..c7b0352 --- /dev/null +++ b/ikiwiki.setup @@ -0,0 +1,38 @@ +# IkiWiki::Setup::Yaml - YAML formatted setup file + +wikiname: Ambient +url: https://ambient.liw.fi +srcdir: . +destdir: ../html +add_plugins: +- goodstuff +- img +- inline +- tag +- orphans +- brokenlinks +- trail +- toc +- pandoc +disable_plugins: +- smiley +- rawhtml +- html +- tidy +- htmltidy +- htmlscrubber +- more +- table +- toggle +- repolist +html5: yes +timeformat: '%Y-%m-%d %H:%M UTC' +exclude: 'favicon\.ico' +allowed_attachments: mimetype(image/*) +tagbase: tag +discussion: no +allowrss: yes +allowatom: yes +rss: yes +atom: yes +pandoc_filters: "pandoc-filter-diagram" diff --git a/index.mdwn b/index.mdwn new file mode 100644 index 0000000..55d8954 --- /dev/null +++ b/index.mdwn @@ -0,0 +1,7 @@ +[[!meta title="Ambient"]] + +Ambient is a project started in mid-2023 to build a new continuous +integration system. This website is a place holder until the software +has matured enough to be used by other people. + +* Git: <https://codeberg.org/ambient/ambient-run> diff --git a/local.css b/local.css new file mode 100644 index 0000000..8296135 --- /dev/null +++ b/local.css @@ -0,0 +1,79 @@ +.float_right { + float: right; + padding-left: 2em; +} + +table { + border-collapse: collapse; +} + +table, th, td { + border: 1px solid #ddd; + text-align: left; +} + +th, td { + padding: 10px; +} + +h1 { font: bold 250% sans-serif; margin-top: 2em; } +h2 { font: bold 150% sans-serif; margin-top: 2em; } +h3, h4, h5, h6 { font: bold 100% sans-serif } +body { + font-family: serif; +} +pre, code { + font-family: "Inconsolata", "Courier", monospace; +} + + +/* code formatting */ +pre.hl { + background: #ddd; +} + +/* outlines; this overrides style.css */ +li.L1 { list-style: decimal; } +li.L2 { list-style: decimal; } +li.L3 { list-style: decimal; } +li.L4 { list-style: decimal; } +li.L5 { list-style: decimal; } +li.L6 { list-style: decimal; } +li.L7 { list-style: decimal; } +li.L8 { list-style: decimal; } + + +/* make list of news items look like a list */ + +.newslist p { + display: list-item; + margin-left: 2em; + margin-top: 0; + margin-bottom: 0; +} + +.newslist p:empty { + display: none; +} + + + +/* For the ikiwiki pandoc plugin: source code highlighting */ +/* From: https://github.com/sciunto-org/ikiwiki-pandoc */ +table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode { + margin: 0; padding: 0; vertical-align: baseline; border: none; } + table.sourceCode { width: 100%; line-height: 100%; } + td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; color: #aaaaaa; border-right: 1px solid #aaaaaa; } + td.sourceCode { padding-left: 5px; } + code > span.kw { color: #007020; font-weight: bold; } + code > span.dt { color: #902000; } + code > span.dv { color: #40a070; } + code > span.bn { color: #40a070; } + code > span.fl { color: #40a070; } + code > span.ch { color: #4070a0; } + code > span.st { color: #4070a0; } + code > span.co { color: #60a0b0; font-style: italic; } + code > span.ot { color: #007020; } + code > span.al { color: #ff0000; font-weight: bold; } + code > span.fu { color: #06287e; } + code > span.er { color: #ff0000; font-weight: bold; } diff --git a/style.css b/style.css new file mode 100644 index 0000000..b905050 --- /dev/null +++ b/style.css @@ -0,0 +1,154 @@ +html { + background: white; + font-family: serif; + margin-left: 3em; + margin-right: 2em; + margin-top: 2em; +} + +body { + display: grid; + grid-template-columns: 1em auto 2em; +} + +.page { + grid-column-start: 2; + grid-column-end: 3; + max-width: 60em; +} + +h1, h2, h3, h4, h5, h6 { + font-family: sans-serif; + font-weight: bold; + margin-top: 2em; +} + +h1 { + font-size: 150%; +} + +h2 { + font-size: 120%; +} + +h3 { + font-size: 100%; +} + +ul li, ol li { + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +div.pageheader { + font-family: monospace; + margin-bottom: 2em; +} + +.pageheader span.title { + display: block; + font-size: 200%; + font-weight: bold; + font-family: sans-serif; + margin-top: 0.5em; +} + +div#pagebody { +} + +div.pagefooter { + font-family: monospace; + margin-top: 3em; +} + +span.date, .pagedate { + font-family: monospace; +} + +.tags { + font-family: monospace; +} + +.inlineheader { + display: block; + font-family: sans-serif; + font-size: 150%; + font-weight: bold; +} + +.inlinepage { + margin-top: 3em; + margin-bottom: 3em; +} + +.inlinefooter { + font-family: monospace; +} + +.float_right { + float: right; + margin-left: 1em; + margin-bottom: 1em; +} + +span.archivepagedate { + font-family: monospace; +} + +/* orange feed button */ +.feedbutton { + background: #ff6600; + color: white !important; + border-left: 1px solid #cc9966; + border-top: 1px solid #ccaa99; + border-right: 1px solid #993300; + border-bottom: 1px solid #331100; + padding: 0px 0.5em 0px 0.5em; + font-family: sans-serif; + font-weight: bold; + font-size: small; + text-decoration: none; + margin-top: 1em; +} +.feedbutton:hover { + color: white !important; + background: #ff9900; +} + +div.wisdom { + margin-left: 100px; + margin-bottom: 50px; + padding-bottom: 0; + border-bottom: 0; + +} + +div.wisdom p.quote { + font-size: 200%; + margin-bottom: 0; + padding-bottom: 0; + border-bottom: 0; +} + +.smallestPC { font-size: 80%; } +.smallPC { font-size: 100%; } +.normalPC { font-size: 120%; } +.bigPC { font-size: 150%; } +.biggestPC { font-size: 200%; } + + +table { + border: 0px; + width: 100%; +} + +th { + font-weight: bold; +} + +tr { +} + +tr:nth-child(even) { + background-color: #f2f2f2; +} |