Adjust font size for tip boxes in manual

This commit is contained in:
Alex Cabal 2021-02-12 16:36:10 -06:00
parent a17a94aea2
commit affc1041d5

View file

@ -493,7 +493,7 @@ figure.corrected code{
}
.manual section[id] > aside{
font-size: 1rem;
font-size: .8rem;
}
.manual section[id] > aside.number a,