r/p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull requests Releases 1 Wiki Activity

css update

Browse source
This commit is contained in:
Meru Patel 2018-09-16 12:03:45 +05:30
parent b8f858ae70
commit c3a4d1263e
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
client/styles/components/_console.scss
View file

@ -88,11 +88,11 @@
}
.preview-console__logged-times {
font-size: #{10 / $base-font-size}rem;
font-weight: bold;
margin: #{2 / $base-font-size}rem 0 0 #{8 / $base-font-size}rem;
border-radius: 10px;
padding: #{1 / $base-font-size}rem #{4 / $base-font-size}rem;
border-radius: #{$base-font-size*10}px;
padding: #{4 / $base-font-size}rem #{4 / $base-font-size}rem;
z-index: 100;
left: 0;
position: absolute;
@ -117,4 +117,4 @@
background-color: getThemifyVariable('console-error-background-color');
}
}
}
}