add padding

2022-01-28 Too small to press on my phone. before/after

style.css_deprecated

a.mobile-search-toggle {
    padding: 1em;
}
.toggle-button.closed {
    padding-right: 1em;
}
.toggle-button.open {
    padding-right: 1em;
}

2022-12-31 Issue with page menu sometimes being hidden The cause, surprisingly, seemed to be this customization, so I turned it off.

---

This page is auto-translated from /nishio/paddingふやす using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I’m very happy to spread my thought to non-Japanese readers.