diff options
author | Holger Wansing <holgerw@debian.org> | 2017-04-20 19:57:04 +0000 |
---|---|---|
committer | Holger Wansing <holgerw@debian.org> | 2017-04-20 19:57:04 +0000 |
commit | dce15a9844667a13e4254636ca89a28c467d4350 (patch) | |
tree | 2d0b7366c233b0abcae7ba7f50f5e2d5441e8b8e /build/stylesheets/install.css | |
parent | 1ddee96f5abae6f081a53f0500b6bc924ef987b9 (diff) | |
download | installation-guide-dce15a9844667a13e4254636ca89a28c467d4350.zip |
Add missing CSS style for <tip> tag. Closes: #860180
Diffstat (limited to 'build/stylesheets/install.css')
-rw-r--r-- | build/stylesheets/install.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/stylesheets/install.css b/build/stylesheets/install.css index ec40e5ad3..33c095673 100644 --- a/build/stylesheets/install.css +++ b/build/stylesheets/install.css @@ -171,7 +171,7 @@ pre.screen { /* Infos blocks */ -.important, .caution, .note { +.important, .caution, .note, .tip { margin-left: 2em; margin-right: 2em; } |