diff options
Diffstat (limited to 'h-source/Public')
| -rw-r--r-- | h-source/Public/Css/main.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/h-source/Public/Css/main.css b/h-source/Public/Css/main.css index 1f6e597..0ffd46c 100644 --- a/h-source/Public/Css/main.css +++ b/h-source/Public/Css/main.css @@ -687,6 +687,17 @@ ins { margin-bottom:10px; } +.tables_of_contents +{ + margin:10px 0; + padding:5px; + background-color:#C7DAEF; +} +.tables_of_contents_title +{ + margin:5px; + font-weight:bold; +} /*wiki code*/ .code_pre { @@ -712,11 +723,13 @@ ins { font:bold 17px/1 sans-serif,arial; color:gray; + padding:2px 0; } .div_h3 { font:bold 16px/1 sans-serif,arial; color:gray; + padding:2px 0; } .div_lang { |