From: John L. <mov...@us...> - 2002-03-06 12:16:15
|
Update of /cvsroot/oprofile/oprofile-www In directory usw-pr-cvs1:/tmp/cvs-serv11425 Modified Files: style.css Log Message: indentation Index: style.css =================================================================== RCS file: /cvsroot/oprofile/oprofile-www/style.css,v retrieving revision 1.9 retrieving revision 1.10 diff -u -d -r1.9 -r1.10 --- style.css 6 Mar 2002 11:59:22 -0000 1.9 +++ style.css 6 Mar 2002 12:16:12 -0000 1.10 @@ -60,54 +60,54 @@ dd { - margin-top: 0.5em; - margin-bottom: 0.5em; + margin-top: 0.5em; + margin-bottom: 0.5em; } li { - padding-top: 4px; - padding-bottom: 4px; + padding-top: 4px; + padding-bottom: 4px; } /* page components */ div.topbar { - color: #000000; - background: #b1dddb; - width: 100%; - margin-top: 0; - padding-top: 0; - height: 80px; - border-bottom: medium solid; - position: fixed; + color: #000000; + background: #b1dddb; + width: 100%; + margin-top: 0; + padding-top: 0; + height: 80px; + border-bottom: medium solid; + position: fixed; } div.pinmenu { - color: rgb(0,0,0); - background: #b1dddb; - position: fixed; - margin-top: 80px; - margin-left: 0; - border-right: medium solid; - overflow: auto; - height: 100%; - width: 15%; + color: rgb(0,0,0); + background: #b1dddb; + position: fixed; + margin-top: 80px; + margin-left: 0; + border-right: medium solid; + overflow: auto; + height: 100%; + width: 15%; } div.badges { - position: fixed; - bottom: 0%; - padding-left: 5px; - left: 0; - float:left; + position: fixed; + bottom: 0%; + padding-left: 5px; + left: 0; + float:left; } div.page { - float: left; - margin-left: 17%; - padding-top: 80px; - width: 83%; + float: left; + margin-left: 17%; + padding-top: 80px; + width: 83%; } /* various others */ @@ -121,21 +121,21 @@ span.newshead { - font-size: 120%; - padding-left: 1em; + font-size: 120%; + padding-left: 1em; } div.newsbody { - margin-left: 3em; + margin-left: 3em; } div.listing { - padding-left: 1em; - margin-top: 10px; + padding-left: 1em; + margin-top: 10px; margin-bottom: 10px; - background-color: #dddddd; - clear: both; - color: #000000; - font-family: courier, monospace; + background-color: #dddddd; + clear: both; + color: #000000; + font-family: courier, monospace; } |