Better loading (and some other misc cleanup)

This commit is contained in:
Gnarwhal 2024-09-23 18:59:55 +00:00
parent bf6709e2fd
commit 3eb11d3aeb
Signed by: Gnarwhal
GPG key ID: 0989A73D8C421174
5 changed files with 60 additions and 16 deletions

View file

@ -10,20 +10,20 @@ export const copy = style({
});
export const copy_button = style({
display: 'flex',
margin: 0,
border: 'none',
padding: 0,
outline: 'inherit',
fontFamily: 'monospace',
fontSize: '1.1em',
lineHeight: '2em',
color: 'inherit',
whiteSpace: 'pre-wrap',
transition: 'background-color 0.35s',
background: 'none',
width: 'max-content',
height: '100%',
display: 'flex',
margin: 0,
border: 'none',
padding: 0,
outline: 'inherit',
fontFamily: 'monospace',
fontSize: '1.1em',
lineHeight: '2em',
color: 'inherit',
whiteSpace: 'pre-wrap',
transition: 'background-color 0.35s',
background: 'none',
width: 'max-content',
height: '100%',
':hover': {
backgroundColor: colors.background2,
},