@ -26,6 +26,7 @@ div#notebook {
width: 100%;
/* This spaces the page away from the edge of the notebook area */
padding-top: @page-header-padding;
padding-bottom: @page-header-padding;
margin: 0px;
outline: none;
.border-box-sizing();