diff options
Diffstat (limited to 'build/stylesheets')
| -rw-r--r-- | build/stylesheets/install.css | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/build/stylesheets/install.css b/build/stylesheets/install.css index eee7b672c..9bf6a8163 100644 --- a/build/stylesheets/install.css +++ b/build/stylesheets/install.css @@ -137,14 +137,14 @@ h2, h3, h4, h5, h6 { /* Terminal examples */ pre.screen { - background-color: #CCCCCC; - border-style: none; + background-color: #F5F5F5; + border-radius: 0.5em 0.5em 0.5em 0.5em; color: #000000; display: block; font-family: "liberation mono","bitstream vera mono","dejavu mono",monospace; font-size: 0.9em; margin-bottom: 1em; - padding: 0.5em 1em; + padding: 0.5em 0.5em 0 0.5em; page-break-inside: avoid; white-space: pre-wrap; word-wrap: break-word; @@ -168,9 +168,19 @@ pre.screen { /* Infos blocks */ +.important { + border: 1px dashed red; +} +.caution { + border: 1px dashed #EFF500; +} +.note { + border: 1px dashed blue; +} + .important, .caution, .note, .tip { - margin-left: 2em; - margin-right: 2em; + margin-left: 1em; + margin-right: 1em; } @media (max-width: 5in), (max-device-width: 5in){ |