chore(ui): increase block radius

This commit is contained in:
Cotes Chung 2023-09-24 22:11:02 +08:00
parent 3a022bc816
commit de2dff354a
No known key found for this signature in database
GPG Key ID: 0D9E54843167A808
2 changed files with 3 additions and 3 deletions

View File

@ -186,7 +186,7 @@ div {
align-items: center; align-items: center;
height: $code-header-height; height: $code-header-height;
margin-left: 0.75rem; margin-left: 0.75rem;
margin-right: 0.5rem; margin-right: 0.25rem;
/* the label block */ /* the label block */
span { span {
@ -267,7 +267,7 @@ div {
.code-header { .code-header {
@include ml-mr(0); @include ml-mr(0);
$dot-margin: calc($code-header-height / 2); $dot-margin: 1rem;
&::before { &::before {
content: ''; content: '';

View File

@ -16,7 +16,7 @@ $search-max-width: 200px !default;
$footer-height: 5rem !default; $footer-height: 5rem !default;
$footer-height-large: 6rem !default; /* screen width: < 850px */ $footer-height-large: 6rem !default; /* screen width: < 850px */
$main-content-max-width: 1250px !default; $main-content-max-width: 1250px !default;
$base-radius: 0.5rem !default; $base-radius: 0.625rem !default;
$back2top-size: 2.75rem !default; $back2top-size: 2.75rem !default;
/* syntax highlight */ /* syntax highlight */