change keybinds style

This commit is contained in:
Alexander Popov 2023-02-14 23:48:49 +03:00
parent d78850b80e
commit fc32deb190
Signed by: iiiypuk
GPG Key ID: D8C9B59A9F04A70C

View File

@ -110,8 +110,8 @@ nav {
border: 1px solid var(--light-gray-color); border: 1px solid var(--light-gray-color);
box-shadow: 0 1px 0 0 var(--medium-gray-color); box-shadow: 0 1px 0 0 var(--medium-gray-color);
border-radius: 3px; border-radius: 3px;
font-family: Courier; font-family: 'Ubuntu Mono', monospace;
font-size: 0.7rem; font-size: 0.9rem;
color: var(--dark-gray-color); color: var(--dark-gray-color);
padding: 3px 3px 1px 3px; padding: 3px 3px 1px 3px;
vertical-align: middle; vertical-align: middle;