diff options
author | Antonio Gallo <tonicucoz@gmail.com> | 2011-10-23 12:34:06 +0000 |
---|---|---|
committer | Antonio Gallo <tonicucoz@gmail.com> | 2011-10-23 12:34:06 +0000 |
commit | 0cc7100dcf9abbab90cd49930074e3b9eaf15095 (patch) | |
tree | f7b5f4748c487792c9f6d4ef06ee472a6ad70a82 /h-source/Public | |
parent | 4d739f188d22ff70e2376a738f27cc36ab8cdc00 (diff) |
improved wiki formatting: added TOC - part 2
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 { |