diff options
| author | Antonio Gallo <tonicucoz@gmail.com> | 2011-06-24 14:23:10 +0000 |
|---|---|---|
| committer | Antonio Gallo <tonicucoz@gmail.com> | 2011-06-24 14:23:10 +0000 |
| commit | 6f4e117779b3fea7ece4e6e59e62a7a97947c84e (patch) | |
| tree | 6733447835c329740d1c8c9e1d040f73aaa3d10b /h-source/Public | |
| parent | e29f02659a5328a52042fb43bd3baad321ee3e91 (diff) | |
modified help pages
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 */ |