Andrew Morgan
149fe07a7f
Fix the padding of the navigation bar and main content
...
Padding was made thinner in Bootstrap 5, so we need to bump it up manually.
"gx-5" translates to the largest padding size for the x-axis of the
gutter. See https://getbootstrap.com/docs/5.2/layout/gutters/ .
Setting the padding of the navbar has it's own special variable, see
https://getbootstrap.com/docs/5.2/components/navbar/#variables
2023-08-03 12:22:05 +01:00
Richard van der Hoff
a9e9202e89
Load Inter CSS directly ( #1444 )
...
Move the load of the Inter font CSS from _variables_project.scss to head-end.html.
Empirically, this seems to fix #965
2023-02-28 14:56:19 +00:00
Andrew Morgan
fd41d9d4ed
Update docsy (hugo theme) git submodule ( #1295 )
2022-11-08 17:29:10 +00:00
Richard van der Hoff
ef384f1afd
Give rendered-data sections a background and some padding ( #1195 )
...
Gives definition sections for APIs, events, etc a background and a small indent, which I find very helpful to guide the eye.
2022-08-04 09:46:11 +00:00
Andrew Morgan
a8f7723fe5
Rename assets-hugo directory to assets ( #3259 )
...
Now that we've dropped the old build pipeline (and an assets directory does not exist in the repo any longer, we can rename the hugo version of the assets (assets-hugo) created during the build tools migration back to simply assets.
2022-01-06 10:37:13 +00:00
