alpha
Login
Join now
liamoc.net
/
holbert-ng
Star
Starred
Star
Something went wrong. Try again.
Fork
2
Eye filled
Watch
Watching
Watch
the next generation of the in-browser educational proof assistant
Star
Starred
Star
Something went wrong. Try again.
Fork
2
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
13
Pipelines
Pipelines
Version history of
forest/theme/
style.css
October 2026
Liam O’Connor
c12318e4
keep the empty state on one line
1d ago
keep the empty state on one line
Copy SHA
Browse repository
Liam O’Connor
committed
1d ago
Liam O’Connor
6c9da237
handle the ref with a slash in it
1d ago
handle the ref with a slash in it
Copy SHA
Browse repository
Liam O’Connor
committed
1d ago
Liam O’Connor
de1c869b
name the magic number
1w ago
name the magic number
Copy SHA
Browse repository
Liam O’Connor
committed
1w ago
Liam O’Connor
56ecc0da
name the magic number
1w ago
name the magic number
Copy SHA
Browse repository
Liam O’Connor
committed
1w ago
Liam O’Connor
226d2897
cache the resolved handle for the session
1w ago
cache the resolved handle for the session
Copy SHA
Browse repository
Liam O’Connor
committed
1w ago
Liam O’Connor
fbef990b
reuse the existing chip instead of a new one
1w ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Liam O’Connor
committed
1w ago
Liam O’Connor
fe1f5123
tighten the types around the response
2w ago
tighten the types around the response
Copy SHA
Browse repository
Liam O’Connor
committed
2w ago
Liam O’Connor
00e18842
read the default from the config
3w ago
read the default from the config
Copy SHA
Browse repository
Liam O’Connor
committed
3w ago
September 2026
Liam O’Connor
928d3f2d
collapse the two nearly identical helpers
3w ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Liam O’Connor
committed
3w ago
Liam O’Connor
6383981f
treat a missing body as empty, not null
3w ago
treat a missing body as empty, not null
Copy SHA
Browse repository
Liam O’Connor
committed
3w ago
Liam O’Connor
cda06d7c
move the guard up to the boundary
1mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Liam O’Connor
committed
1mo ago
Liam O’Connor
9d182fc0
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Liam O’Connor
committed
1mo ago
Liam O’Connor
d3d3776a
defer the icon import
1mo ago
defer the icon import
Copy SHA
Browse repository
Liam O’Connor
committed
1mo ago
Liam O’Connor
651d873d
cache the resolved handle for the session
1mo ago
cache the resolved handle for the session
Copy SHA
Browse repository
Liam O’Connor
committed
1mo ago
Liam O’Connor
603796f6
spell the aria label out loud
1mo ago
spell the aria label out loud
Copy SHA
Browse repository
Liam O’Connor
committed
1mo ago
Liam O’Connor
e1068990
stop the header from reflowing on hover
1mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Liam O’Connor
committed
1mo ago
Liam O’Connor
11fcb857
walk the parents once, not twice
1mo ago
walk the parents once, not twice
Copy SHA
Browse repository
Liam O’Connor
committed
1mo ago
August 2026
Liam O’Connor
c2495ec6
trim the trailing newline before hashing
1mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Liam O’Connor
committed
1mo ago
Liam O’Connor
30c5f402
handle the ref with a slash in it
1mo ago
handle the ref with a slash in it
Copy SHA
Browse repository
Liam O’Connor
committed
1mo ago
Liam O’Connor
56eb50f3
spell the aria label out loud
1mo ago
spell the aria label out loud
Copy SHA
Browse repository
Liam O’Connor
committed
1mo ago
Liam O’Connor
c64ae575
move the guard up to the boundary
1mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Liam O’Connor
committed
1mo ago
Liam O’Connor
6b260e15
tighten the types around the response
2mo ago
tighten the types around the response
Copy SHA
Browse repository
Liam O’Connor
committed
2mo ago
Liam O’Connor
4b447bf1
trim the trailing newline before hashing
2mo ago
trim the trailing newline before hashing
Copy SHA
Browse repository
Liam O’Connor
committed
2mo ago
Liam O’Connor
13f18745
drop the dead compatibility branch
2mo ago
drop the dead compatibility branch
Copy SHA
Browse repository
Liam O’Connor
committed
2mo ago
Liam O’Connor
d5718b2c
reuse the existing chip instead of a new one
2mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Liam O’Connor
committed
2mo ago
July 2026
Liam O’Connor
aba49414
collapse the two nearly identical helpers
2mo ago
collapse the two nearly identical helpers
Copy SHA
Browse repository
Liam O’Connor
committed
2mo ago
Liam O’Connor
8463d5cc
pull the loader out of the component
2mo ago
pull the loader out of the component
Copy SHA
Browse repository
Liam O’Connor
committed
2mo ago
Liam O’Connor
e385ec67
fix the off-by-one in the page cursor
3mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Liam O’Connor
committed
3mo ago
Liam O’Connor
7bf5df4d
pull the loader out of the component
3mo ago
pull the loader out of the component
Copy SHA
Browse repository
Liam O’Connor
committed
3mo ago
Liam O’Connor
8805aee5
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Liam O’Connor
committed
3mo ago
Liam O’Connor
67e7f580
keep the empty state on one line
3mo ago
keep the empty state on one line
Copy SHA
Browse repository
Liam O’Connor
committed
3mo ago
Liam O’Connor
d8d097cc
let the caller pass its own fetch
3mo ago
let the caller pass its own fetch
Copy SHA
Browse repository
Liam O’Connor
committed
3mo ago
Liam O’Connor
fab1f064
name the magic number
3mo ago
name the magic number
Copy SHA
Browse repository
Liam O’Connor
committed
3mo ago
Liam O’Connor
265ff713
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Liam O’Connor
committed
3mo ago
June 2026
Liam O’Connor
38e70501
stop the header from reflowing on hover
3mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Liam O’Connor
committed
3mo ago
Liam O’Connor
e5371002
tighten the types around the response
3mo ago
tighten the types around the response
Copy SHA
Browse repository
Liam O’Connor
committed
3mo ago
Liam O’Connor
46ce2ff0
make the toggle keyboard reachable
3mo ago
make the toggle keyboard reachable
Copy SHA
Browse repository
Liam O’Connor
committed
3mo ago
Liam O’Connor
1d9a0c36
stop swallowing the parse error
4mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Liam O’Connor
committed
4mo ago
Liam O’Connor
7e9e16d5
stop the header from reflowing on hover
4mo ago
stop the header from reflowing on hover
Copy SHA
Browse repository
Liam O’Connor
committed
4mo ago
Liam O’Connor
cfab993d
put the separator back between the rows
4mo ago
put the separator back between the rows
Copy SHA
Browse repository
Liam O’Connor
committed
4mo ago
Liam O’Connor
b1490f41
keep the empty state on one line
4mo ago
keep the empty state on one line
Copy SHA
Browse repository
Liam O’Connor
committed
4mo ago
Liam O’Connor
c397c18a
reuse the existing chip instead of a new one
4mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Liam O’Connor
committed
4mo ago
May 2026
Liam O’Connor
8e675e82
move the guard up to the boundary
4mo ago
move the guard up to the boundary
Copy SHA
Browse repository
Liam O’Connor
committed
4mo ago
Liam O’Connor
5cde7750
spell the aria label out loud
4mo ago
spell the aria label out loud
Copy SHA
Browse repository
Liam O’Connor
committed
4mo ago
Liam O’Connor
37a1bc6b
reuse the existing chip instead of a new one
5mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Liam O’Connor
committed
5mo ago
Liam O’Connor
1f6c5863
reuse the existing chip instead of a new one
5mo ago
reuse the existing chip instead of a new one
Copy SHA
Browse repository
Liam O’Connor
committed
5mo ago
Liam O’Connor
8e97a12a
pull the loader out of the component
5mo ago
pull the loader out of the component
Copy SHA
Browse repository
Liam O’Connor
committed
5mo ago
Liam O’Connor
99b5487c
fix the off-by-one in the page cursor
5mo ago
fix the off-by-one in the page cursor
Copy SHA
Browse repository
Liam O’Connor
committed
5mo ago
Liam O’Connor
65412688
put the separator back between the rows
5mo ago
put the separator back between the rows
Copy SHA
Browse repository
Liam O’Connor
committed
5mo ago
Liam O’Connor
94e780b4
stop swallowing the parse error
5mo ago
stop swallowing the parse error
Copy SHA
Browse repository
Liam O’Connor
committed
5mo ago
Previous
1
2
3
Next