/* Additional print style sheet made by RealObjects */

@media print {

    @page {
      margin: 1.5cm;
      padding-top: 12pt;
      /* Initialize the page counter */
      counter-increment: page 1;
     
     /* The following lines are styles for page margin boxes
        which are described in the CSS 3 paged media module draft. 
        The @xyz selector indicates the location of the box 
     */
        @top-left { 
         font: 12pt sans-serif;
         text-align:left;
         content: "Architecture of the World Wide Web, Volume One";
         margin-top: 5mm;
         margin-bottom: 2mm;
         border-bottom: 0.2mm solid #006DAB;
        }
    
        @bottom-left { 
         font: 7pt sans-serif;
         text-align: left;
         margin-bottom: 5mm;
         margin-top: 2mm;
         border-top: 0.2mm solid #006DAB;
         vertical-align: top;
         padding-top: 0.1cm;
         content: "Copyright (C) 2002-2004 W3C (R) (MIT, ERCIM, Keio), All Rights Reserved.";
        }    
        
        @bottom-right { 
         font: 9pt sans-serif;
         text-align: right;
         margin-bottom: 5mm;
         margin-top: 2mm;
         border-top: 0.2mm solid #006DAB;
         vertical-align: top;
         padding-top: 0.1cm;
         content: "Page " counter(page) " / " counter(pages);
        }    
    }
    
    /* repeating page background image */
    html {
        background-attachment: scroll;
        box-decoration-break: clone;
        background-position: 0 -12pt;
    }
    
    /* Cross-references */
    a.int::after {
        content: ' (see page ' target-counter(attr(href url),page) ')';
    }
}

@-ro-preferences {
    page-layout: 1 column;
    initial-zoom: 125%;
}

/* 
The following lines avoids page breaks inside bordered boxes to improve 
the layout in page mode.
*/
div.boxedtext {
    break-inside: avoid;
}

/*
The following lines tweak line breaks around certain elements.
*/
dt, .figure {
    break-after: avoid;
}
dt, dd, .figure {
    break-inside: avoid;
}
.figure {
    break-before: avoid;
}
h2:not(.notoc) {
    break-before: page;
    margin-top: 0;
}

div + hr {
    display: none;
}

html, body {
    height: auto;
}

/*
Using padding prevents correct truncation of adjoining margins at breaks, so use margins instead. 
*/
body {
    padding: 0;
    margin: 2em 1em 2em 52pt;
}