body { margin: 0; padding: 0; font-size: 0.8em; font-family: Dejavu, Verdana, "Bitstream Vera Sans", "Lucida Grande", "Trebuchet MS", sans-serif; color: #535353; background: #E3E3E2; } img { border: none; } h1 { margin-top: 0; color: #369; font-size: 1.6em; } a:link, a:visited { text-decoration: none; font-weight: bold; color: #ff8c00; } a:hover, a:active { font-weight: bold; color: #ff4500; text-decoration: underline; } #header { background: #ffffff; width: 100%; margin: 0; padding: 0; } #content { background: #ffffff; padding: 10px; margin-top: 10px; /* margin-right: auto; margin-left: auto; */ margin-left: 20%; margin-right: 250px; max-width: 60em; border: solid 1px #DBDBDA; background: #FEFEFE; -webkit-border-radius: 10px; -moz-border-radius: 10px; border-radius: 10px; } #menu { -webkit-border-radius: 10px; -moz-border-radius: 10px; border-radius: 10px; } #menu, #menu_dl { width:100%; border-bottom: 1px dotted #663300; margin-top: 5px; background: #252525; } #menu a { color: #fff; } #menu li { list-style-type: none; } #menus { width: 200px; position:absolute; top:30px; right:20px; /* position: fixed; right: 10px; top: 2em; width: 20%; */ } /* code, pre{ background-color:transparent; font-family:"Courier New",Courier,monospace; font-size:small; } */ a{ color: #3F4C66; } a:link, a:visited, a:active { color: #3F4C66; text-decoration: none; } a:hover { color: #4C5C7B; text-decoration: underline; } abbr:hover { text-decoration: underline; } pre{ border-left:5px solid; padding:0.5em 1em; margin-left:2em; } dt { font-weight: bold; } dd { border-left: 1px solid #ccc; margin: 5px; padding: 5px; } h1 { width: 20em; margin-left: auto; margin-right: auto; } .ok { color:#15B100; } hr { margin: 0.3em 1em 0.3em 1em; height: 1px; border: #bcbcbc dashed; border-width: 0 0 1px 0; } table { width: 80%; border-collapse: collapse; font-size: 1em; margin-left: auto; margin-right: auto; background: #F5F5F5; text-align: left; } td { vertical-align: top; } th { text-align: center; border-bottom: 3px solid; } #logos, #footer { margin: 10px; text-align: center; background: #FFF; font-size: 0.8em; margin-right: auto; margin-left:auto; width: 60em; padding: 10px; -webkit-border-radius: 10px; -moz-border-radius: 10px; border-radius: 10px; } .err,.ok,.inf { margin: 5px; margin-left: auto; margin-right: auto; width: 70%; font-weight:bold; border: 1px dotted #5682AD; } .err { border-color: #F00; color: #F00; } .ok { border-color: #262; color: #262; } .logo { float: right; } .clear { clear: both; } .package_stat { width: 40px; float: right; height: 5px; border: 1px solid #ccc; } .package_stat div { float: left; height: 5px; } .package_stat .packaged { background: #85ACFF; } .package_stat .overlay { background: #C6D9FD; } .package_stat .upstream { background: #FDEADD; }