remove mdbook site, move content to docs/

This commit is contained in:
phaer 2024-06-11 12:27:16 +02:00
parent 92d2d31a4c
commit 318997a795
26 changed files with 0 additions and 71 deletions

View File

@ -1,10 +0,0 @@
# Website
This directory contains markdown pages under ./src which are rendered to an html website using the tool mdbook.
The website can be built via:
```shellSession
$ nix build .#website
```
In addition to what's already in ./src, this derivation generates and inserts reference documentation pages. One for each dream2nix module in /modules/dream2nix.

View File

@ -1,23 +0,0 @@
[book]
authors = ["David Hauer", "Various contributors"]
language = "en"
multilingual = false
src = "src"
title = "dream2nix"
[output.html]
git-repository-url = "https://github.com/nix-community/dream2nix"
edit-url-template = "https://github.com/nix-community/dream2nix/edit/main/modules/dream2nix/{path}"
no-section-label = true
additional-css = [ "style.css" ]
additional-js = [ "no-edit-options.js" ]
[output.html.print]
enable = false # big single page; don't need that
[output.linkcheck]
follow-web-links = false # no Internet during the build
[preprocessor.toc]
command = "mdbook-toc"
renderer = ["html"]

View File

@ -1,7 +0,0 @@
if (window.location.pathname.match(/options/)) {
var buttons = document.querySelector("#menu-bar > div.right-buttons")
if (buttons != null) {
buttons.style.display = "none"
}
}

View File

@ -1,31 +0,0 @@
h1.menu-title::before {
content: "";
display: inline-block;
background-image: url(./favicon.png);
background-repeat: no-repeat;
background-size: contain;
width: 1.8ex;
height: 1.8ex;
margin-right: 0.9ex;
vertical-align: middle;
}
.light {
--links: #058;
--sidebar-active: #0af;
}
.sidebar .sidebar-scrollbox {
/* We don't use numbers, so we can take a consistent amount of space */
padding: var(--page-padding) !important;
}
.hljs {
background-color: #f6f7f6;
}
@media (prefers-color-scheme: dark) {
.hljs {
background-color: #1d1f21;
}
}
/* prevents chapters without links to be grey */
.chapter li {
color: #000;
}