@page { margin-top: 1.5em; margin-bottom: 1.5em; margin-left: 1.5em; margin-right: 1.5em; } body { margin-right: 2em; text-align: justify; } svg { height: 98%; width: 100%; } .images { text-align: center; } span.f_[NoParagraphStyle] /* [No Paragraph Style] */ { font-family: 'Times'; } span.f_Asts /* Asts */ { font-family: 'BaskervilleMT'; vertical-align: sub; } span.f_Chapter1 /* Chapter 1 */ { font-size: 1.60em; font-family: 'BaskervilleMT'; } span.f_ChapterD /* Chapter D */ { font-family: 'BaskervilleMT'; } span.f_CodeExample /* Code Example */ { font-size: 0.80em; font-family: 'Courier New'; } span.f_Comment /* Comment */ { } span.f_Extract /* Extract */ { font-size: 0.80em; font-family: 'BaskervilleMT'; } span.f_H /* H */ { font-family: 'Times New Roman'; } span.f_Heading1 /* Heading1 */ { font-size: 1.60em; font-weight: bold; } span.f_I /* I */ { font-family: 'BaskervilleMT'; font-style: italic; } span.f_ImageCaption /* Image Caption */ { font-size: 0.80em; font-weight: bold; } span.f_Imprint /* Imprint */ { font-size: 0.80em; font-family: 'BaskervilleMT'; } span.f_MainBody /* Main Body */ { font-family: 'BaskervilleMT'; } span.f_MainBodyIndented /* Main Body Indented */ { font-family: 'BaskervilleMT'; } span.f_Notes /* Notes */ { } /* Paragraph styles */ p /* Normal */ { text-align: justify; text-indent: 0px; padding: 0px 0px 0px 0px; margin: 0px 0px 0px 0px; } .p_[NoParagraphStyle] /* [No Paragraph Style] */ { text-align: left; line-height: 1.20; } .p_Asts /* Asts */ { text-align: center; } .p_Chapter1 /* Chapter 1 */ { text-align: center; font-weight: bold; margin-top: 2em; margin-bottom: 2em; } .p_ChapterD /* Chapter D */ { } .p_CodeExample /* Code Example */ { white-space: nowrap; } .p_Comment /* Comment */ { } .p_Extract /* Extract */ { margin: 0px 16px 0px 16px; } .p_H /* H */ { text-align: left; } .p_Heading1 /* Heading1 */ { text-align: left; } .p_I /* I */ { text-align: left; } .p_ImageCaption /* Image Caption */ { text-align: left; } .p_Imprint /* Imprint */ { text-align: center; } .p_MainBody /* Main Body */ { } .p_MainBodyIndented /* Main Body Indented */ { text-indent: 15px; } .p_Notes /* Notes */ { } svg { height: 98%; width: 100%; } a { text-decoration: none; } .h2 { font-size: x-large; margin-top: 2em; margin-bottom: 2em; text-align: center; } .copy { margin-top: 1em; margin-bottom: 0.1em; text-align: center; } .copy1 { margin-top: 2em; margin-bottom: 0.1em; text-align: center; } .toc { margin-top: 0.2em; margin-bottom: 0.2em; text-indent: 0.01em; } .page { page-break-before: always; }