Commits

History for

Commits on May 28, 2025

fix(sass): remove use of deprecated lighten/darken functions (#1114)
wenkokke
authored
857204c
Copy full SHA for 857204c

Commits on Sep 13, 2024

Use JuliaMono as code font (#1034)
Show description for 4b2125b

wenkokke
and
pre-commit-ci[bot]
authored
4b2125b
Copy full SHA for 4b2125b

Commits on Mar 7, 2023

Fix #839 (#846)
wenkokke
authored
c319494
Copy full SHA for c319494

Commits on Mar 1, 2023

Fix #839 (#843)
Show description for 7d38e52

wenkokke
and
pre-commit-ci[bot]
authored
7d38e52
Copy full SHA for 7d38e52

Commits on Aug 5, 2022

Setup pre-commit
wenkokke
committed
8f69d56
Copy full SHA for 8f69d56

Commits on Jun 25, 2022

Add css for Agda in dark mode (#710)
Show description for 698adb8
edgardSchi
authored
698adb8
Copy full SHA for 698adb8

Commits on Jun 21, 2022

Adds a dark mode switch (#703)
wenkokke
authored
7cb6ecc
Copy full SHA for 7cb6ecc

Commits on Jun 19, 2022

Remove old fonts
wenkokke
committed
c4a8396
Copy full SHA for c4a8396

Commits on Jun 18, 2022

Generate dark.css
wenkokke
committed
4ec1ab6
Copy full SHA for 4ec1ab6
Rename style.css to light.css
wenkokke
committed
a254106
Copy full SHA for a254106
Remove inline styling
wenkokke
committed
f61b08d
Copy full SHA for f61b08d
Switch to dart sass, move html-minifier into Buildfile
wenkokke
committed
e6b3507
Copy full SHA for e6b3507

Commits on Jun 8, 2022

Fix build and CI (#658)
wenkokke
authored
be0ac03
Copy full SHA for be0ac03

Loading