diff options
Diffstat (limited to 'skins/common/config-cc.css')
| -rw-r--r-- | skins/common/config-cc.css | 55 |
1 files changed, 28 insertions, 27 deletions
diff --git a/skins/common/config-cc.css b/skins/common/config-cc.css index c629ad3f..d81218ec 100644 --- a/skins/common/config-cc.css +++ b/skins/common/config-cc.css @@ -3,54 +3,55 @@ */ body { - margin:0px; - background:#eee; - font-family:verdana; - color:#333; + margin: 0; + background: #eee; + font-family: Verdana; + color: #333; } #main { - border:1px solid #D0D0D0; - background:#fff; + border: 1px solid #D0D0D0; + background: #fff; margin: 0.5em; } -/* Looks like you have to specify the width of #menu -or IE5 Mac stretches it all the way across the div, and -Opera streches it half way. */ +/** + * Looks like you have to specify the width of #menu + * or IE5 Mac stretches it all the way across the div, and + * Opera streches it half way. + */ #main #menu { - border-left:1px dotted #ccc; - /* border-bottom:1px solid #000;*/ - float:right; - width:230px; - background:white; - margin:0px 0px 10px 10px; + border-left: 1px dotted #ccc; + float: right; + width: 230px; + background: white; + margin: 0 0 10px 10px; } -td, h3, p,h1,pre { - margin:0px 20px 20px 20px; - font-size:11px; - line-height:140%; +td, h3, p, h1, pre { + margin: 0 20px 20px 20px; + font-size: 11px; + line-height: 140%; } .header { padding-left: 10px; - padding-top:10px; + padding-top: 10px; } .nav { - padding-left:10px; - padding-bottom:10px; - font-size:11px; - margin-bottom:16px; + padding-left: 10px; + padding-bottom: 10px; + font-size: 11px; + margin-bottom: 16px; } -#menu p { - font-size:11px; +#menu p { + font-size: 11px; } .dent { - margin-left:64px; + margin-left: 64px; } |