aboutsummaryrefslogtreecommitdiff
path: root/docs/gen
diff options
context:
space:
mode:
authorlonkaars <loek@pipeframe.xyz>2022-12-14 20:50:00 +0100
committerlonkaars <loek@pipeframe.xyz>2022-12-14 20:50:00 +0100
commit706f5ab73fedd5f2cc17a849c8ccef6b4d226a8f (patch)
tree0104f9071159e7d4f3d734a61398d7f0ebe6a415 /docs/gen
parentde08b4a3f217a9321c52c237f974a6733564504e (diff)
add design ramblings
Diffstat (limited to 'docs/gen')
-rw-r--r--docs/gen/doc.m41
-rw-r--r--docs/gen/style.css1
2 files changed, 2 insertions, 0 deletions
diff --git a/docs/gen/doc.m4 b/docs/gen/doc.m4
index d25fdc9..3b1c0e4 100644
--- a/docs/gen/doc.m4
+++ b/docs/gen/doc.m4
@@ -2,6 +2,7 @@ define(`docname',
ifelse(NAME, `pva', `Plan van aanpak',
NAME, `pve', `Pakket van eisen',
NAME, `research', `Research document',
+ NAME, `design', `Design document',
`UNKNOWN???'))dnl
<!DOCTYPE html>
diff --git a/docs/gen/style.css b/docs/gen/style.css
index eb47f5e..7179ded 100644
--- a/docs/gen/style.css
+++ b/docs/gen/style.css
@@ -53,6 +53,7 @@
border-style: solid;
border-width: 0.7pt 0;
border-color: black;
+ margin: 1rem auto;
}
th, td {