diff options
Diffstat (limited to 'style')
-rw-r--r-- | style/firefox.css | 20 | ||||
-rw-r--r-- | style/mobile-chrome.css | 5 |
2 files changed, 25 insertions, 0 deletions
diff --git a/style/firefox.css b/style/firefox.css new file mode 100644 index 0000000..f6b67aa --- /dev/null +++ b/style/firefox.css @@ -0,0 +1,20 @@ +/* sigh, spacings are all over the place between browsers. + my attempt to fix it with unicode-char markers only made + things *significantly* worse. webkit and chromium seem + to have parity the way things are now, so it's just + gecko that needs a 1px tweak. + + rip. */ + +.border > summary > h3:first-child { + padding-bottom: 4px; +} + +/* tweak to square summary marker box */ + +.border > summary { + margin-left: 7px; +} +.border > summary > h3:first-child { + margin-left: 9px; +} diff --git a/style/mobile-chrome.css b/style/mobile-chrome.css new file mode 100644 index 0000000..36c86e9 --- /dev/null +++ b/style/mobile-chrome.css @@ -0,0 +1,5 @@ +/* unfuck the pixels! */ +/* TODO: idk submit a bug ticket */ +.border > hr { + border-image-outset: 0px 2px 0px 2px; +} |