.fixed-header-and-nav { // body.fixed-header-and-nav
.header {
height: (7 * 16px); margin-top: 0; padding: 0; background-color: transparent; border: none;
.heading { position: fixed; left: 0; padding-top: 16px; padding-bottom: 16px;
background-color: @orange; }
}
.nav {
height: (2.5 * 16px); padding: 0; background-color: transparent; border: none;
.top-nav { position: fixed; left: 0; padding-top: 16px; padding-bottom: 16px;
background-color: @purple; }
}
.content:first-child { margin-top: inherit; }
}