Decrease border box, add margin and remove caps, based on review commentary.

This commit is contained in:
Jonathan Jacobs
2016-02-15 23:27:44 +02:00
committed by Eric Holscher
parent 101a2970f2
commit d4c89c43f5
4 changed files with 13 additions and 2 deletions

View File

@@ -107,7 +107,8 @@ and explicit roles for :emphasis:`standard` :strong:`inline`
:literal:`markup`.
GUI labels are a useful way to indicate that :guilabel:`Some action` is
to be taken by the user.
to be taken by the user. The GUI label should not run over
``line-height`` so as not to :guilabel:`interfere` with text from adjacent lines.
.. DO NOT RE-WRAP THE FOLLOWING PARAGRAPH!

View File

@@ -310,7 +310,8 @@
font-weight: 700
text-transform: uppercase
border-radius: $base-line-height / 6
padding: $base-line-height / 6 $base-line-height / 4
padding: $base-line-height / 10 $base-line-height / 4
margin: auto $base-line-height / 12
// Mobile specific

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long