diff options
Diffstat (limited to 'h-source/Public')
| -rw-r--r-- | h-source/Public/Css/main.css | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/h-source/Public/Css/main.css b/h-source/Public/Css/main.css index 6e0b548..fa7097c 100644 --- a/h-source/Public/Css/main.css +++ b/h-source/Public/Css/main.css @@ -1873,6 +1873,41 @@ Start - temporarily added due to transformation of help pages font-weight: bold; font-style: italic; } + +.help_external_box h2,.help_external_box h3,.help_external_box h4 +{ + margin: 0 4px 0 0; + padding: 0.2em 0 0.3em 1.25em; + font-size: 1.4em; + color: #353535; + background: #D8FF9E; +} +.help_external_box h2 +{ + font-size: 1.3em; + color: #3D6300; +} +.help_external_box h3 +{ + font-size: 1.2em; + color: #3D6300; + background-color: White; +} +.help_external_box h4 +{ + font-size: 1.1em; + color: #3D6300; + background-color: White; +} +.help_external_box p.terminal,.help_external_box pre.terminal +{ + font-family: monospace; + padding: .5em 1em; + background-color: rgb(50,50,50); + border-left: 2px solid rgb(97,97,97); + color: white; +} + /* End */ |