moodle/moodle
3
0
Fork 0
mirror of https://github.com/moodle/moodle.git synced 2025-08-05 00:46:50 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

MDL-73768 theme_boost: add right margin to profile picture

Browse source
This commit is contained in:
Bas Brands 2022-02-08 14:01:10 +01:00
parent 6652ec135b
commit 483686ad0e
3 changed files with 15 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
theme/boost/scss/moodle/modules.scss
View file

@ -1170,6 +1170,7 @@ div#dock {
border-radius: 50%; border-radius: 50%;
color: $gray-800; color: $gray-800;
font-weight: normal; font-weight: normal;
margin-right: $spacer / 4;
&.size-16, &.size-16,
&.size-30 { &.size-30 {
font-size: 0.7rem; font-size: 0.7rem;
@ -1187,6 +1188,10 @@ div#dock {
} }
} }
img.userpicture {
margin-right: $spacer / 4;
}
@include media-breakpoint-down(sm) { @include media-breakpoint-down(sm) {
.usertext { .usertext {
display: none; display: none;

6
theme/boost/style/moodle.css
View file

@ -18459,7 +18459,8 @@ div#dock {
justify-content: center; justify-content: center;
border-radius: 50%; border-radius: 50%;
color: #343a40; color: #343a40;
font-weight: normal; } font-weight: normal;
margin-right: 0.25rem; }
.userinitials.size-16, .userinitials.size-30 { .userinitials.size-16, .userinitials.size-30 {
font-size: 0.7rem; font-size: 0.7rem;
width: 30px; width: 30px;
@ -18472,6 +18473,9 @@ div#dock {
height: 100px; height: 100px;
font-size: 1.875rem; } font-size: 1.875rem; }
img.userpicture {
margin-right: 0.25rem; }
@media (max-width: 767.98px) { @media (max-width: 767.98px) {
.usertext { .usertext {
display: none; } } display: none; } }

6
theme/classic/style/moodle.css
View file

@ -18459,7 +18459,8 @@ div#dock {
justify-content: center; justify-content: center;
border-radius: 50%; border-radius: 50%;
color: #343a40; color: #343a40;
font-weight: normal; } font-weight: normal;
margin-right: 0.25rem; }
.userinitials.size-16, .userinitials.size-30 { .userinitials.size-16, .userinitials.size-30 {
font-size: 0.7rem; font-size: 0.7rem;
width: 30px; width: 30px;
@ -18472,6 +18473,9 @@ div#dock {
height: 100px; height: 100px;
font-size: 1.875rem; } font-size: 1.875rem; }
img.userpicture {
margin-right: 0.25rem; }
@media (max-width: 767.98px) { @media (max-width: 767.98px) {
.usertext { .usertext {
display: none; } } display: none; } }