html, body {
margin: 0px;
padding: 0px;
}
/* Centre the page content within the browser window. */
#content {
width: @body-content-width;
margin: 0 auto;
}
/* Force the branding to be inline with the icons. */
div #header-branding {
float: left;
}
/* Right-align the icons. */
div #header-nav-container, div #app-nav-container {
text-align: right;
}
div #header-nav,
div #app-nav {
margin-right: 12px;
}
div #header-nav {
margin-top: 8px;
margin-bottom: 8px;
}
div #app-nav {
padding-top: 6px;
padding-bottom: 6px;
}
/* Breathing space around the application content; mirrors #header-nav. */
div #app-content-container {
padding: 8px;
}
h2.search {
margin-top: 0;
padding-top: 0;
}
/* Create a circular icon by adjusting border radius. */
span.icon {
line-height: @nav-icon-size;
display: inline-block;
width: @nav-icon-size;
margin-right: 6px;
border-radius: 50%;
/* Center the icon's image within the circle. */
text-align: center;
}
/* Tweak the image within the circles. */
span.icon img {
/* Center the icon vertically within the circle. */
vertical-align: middle;
/* Adjustment for Firefox; ignored by other browsers. */
padding-bottom: 5px;
}
p.header-site-title {
padding-left: 2em;
vertical-align: middle;
}
div #footer-cookie {
padding: 0.8em;
float: left;
}
/* Hide blue borders around image links. */
a img {
border: none;
}
img.contact {
padding-top: 0.4em;
padding-right: 1em;
float: right;
}
img.cookie {
/* Middle-aligns the cookie image with the cookie's text value. */
vertical-align: middle;
}
/* Fixes unclickable links in IE7. */
a.header-nav-icon {
display: inline-block;
vertical-align: middle;
}
/* Fixes unclickable links in IE7. */
.header-nav-icon span {
display: block;
position: relative;
z-index: -1;
width: 60px;
height: 60px;
vertical-align: middle;
}
/* Fixes unclickable links in IE7. */
.header-nav-icon img {
border: 0px solid white;
vertical-align: middle;
}