@@ -313,24 +313,32 @@ div.options a {
border-radius: 4px 4px 4px 4px;
}
#header #header-inner.hover{
position: fixed !important;
width: 100% !important;
margin-left: -10px !important;
z-index: 10000;
-webkit-border-radius: 0px 0px 0px 0px;
-khtml-border-radius: 0px 0px 0px 0px;
-moz-border-radius: 0px 0px 0px 0px;
border-radius: 0px 0px 0px 0px;
.ie7 #header #header-inner.hover,
.ie8 #header #header-inner.hover,
.ie9 #header #header-inner.hover
{
z-index: auto !important;
#header #header-inner #home a {
height: 40px;
width: 46px;
display: block;
background: url("../images/button_home.png");
background-position: 0 0;
margin: 0;
padding: 0;
#header #header-inner #home a:hover {
background-position: 0 -40px;
## -*- coding: utf-8 -*-
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>${self.title()}</title>
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
<meta name="robots" content="index, nofollow"/>
<link rel="icon" href="${h.url('/images/icons/database_gear.png')}" type="image/png" />
## CSS ###
<%def name="css()">
<link rel="stylesheet" type="text/css" href="${h.url('/css/style.css')}" media="screen"/>
<link rel="stylesheet" type="text/css" href="${h.url('/css/pygments.css')}"/>
## EXTRA FOR CSS
@@ -121,15 +121,26 @@
if(usr){
usr.focus();
});
})
</script>
</%def>
<%def name="js_extra()"></%def>
${self.js()}
</head>
<body id="body">
${next.body()}
## IE hacks
<!--[if IE 7]>
<script>YUD.addClass(document.body,'ie7')</script>
<![endif]-->
<!--[if IE 8]>
<script>YUD.addClass(document.body,'ie8')</script>
<!--[if IE 9]>
<script>YUD.addClass(document.body,'ie9')</script>
</body>
</html>
Status change: