mirror of
https://github.com/gristlabs/grist-core.git
synced 2024-10-27 20:44:07 +00:00
01fbe871aa
Summary: What happens when you type "rr" instead of "r" in an anchor link's row number? Test Plan: Browser tests. Reviewers: jarek Reviewed By: jarek Differential Revision: https://phab.getgrist.com/D3829
26 lines
645 B
TypeScript
26 lines
645 B
TypeScript
import {theme} from 'app/client/ui2018/cssVars';
|
|
import {styled} from 'grainjs';
|
|
|
|
export const ShortcutKeyContent = styled('span', `
|
|
font-style: normal;
|
|
font-family: inherit;
|
|
color: ${theme.shortcutKeyPrimaryFg};
|
|
`);
|
|
|
|
export const ShortcutKeyContentStrong = styled(ShortcutKeyContent, `
|
|
font-weight: 700;
|
|
`);
|
|
|
|
export const ShortcutKey = styled('div', `
|
|
display: inline-block;
|
|
padding: 2px 5px;
|
|
border-radius: 4px;
|
|
margin: 0px 2px;
|
|
border: 1px solid ${theme.shortcutKeyBorder};
|
|
color: ${theme.shortcutKeyFg};
|
|
background-color: ${theme.shortcutKeyBg};
|
|
font-family: inherit;
|
|
font-style: normal;
|
|
white-space: nowrap;
|
|
`);
|