diff options
author | Joris | 2023-03-08 09:06:55 +0100 |
---|---|---|
committer | Joris | 2023-03-08 09:06:55 +0100 |
commit | 3f1cf5e3fe05677c449dc3ee29f5bc3d4bdedba6 (patch) | |
tree | b075fd6cb360973e9e11a0ceb4d24cc183361ccb /src/domUtils.ml | |
parent | 15562b8bcc17d590285d0442c292fbba32229e05 (diff) |
Reduce ul left padding
Diffstat (limited to 'src/domUtils.ml')
0 files changed, 0 insertions, 0 deletions