a.hallex:link    { color: blue; background: white; }
a.hallex:visited { color: blue; background: white; }
a.hallex:hover   { color: blue; background: yellow; }
a.hallex:active  { color: red; background: white; }
a.subsec:active  { color: olive; }

td         { padding-left: 0.5em; padding-right: 0.5em; border-color: black; }
th         { padding-left: 0.5em; padding-right: 0.5em; border-color: black; }
hr.navlinks { height: 1pt; color: black; }

h1.ssa     { color: black; font-size: 2em; }
h2.ssa     { color: black; font-size: 1.6em; }

div.titlepg { margin-right: 25%; margin-left: 25%; }
h1.titlepg  { color: black; font-size: 3.5em; font-family: sans-serif;
              font-weight: 900; letter-spacing: 2em; }
h2.titlepg { color: black; font-size: 1.8em; font-family: sans-serif }
h3.titlepg { color: black; font-size: 1.6em; }
hr.titlepg { height: 0.2em; color: maroon; }

div.voltoc { margin-right: 10%; margin-left: 10%; }
td.voltoc  { padding-left: 1.0em; padding-right: 1.0em; }
th.voltoc  { padding-left: 1.0em; padding-right: 1.0em; font-size: 1.5em;
             background: lightblue; }
hr.voltoc  { color: navy; height: 0.2em; }
span.voltoc { font-size: 2em; background: white; }

h1.chapter { color: black; font-size: 2em; font-family: sans-serif; }

h1.sect1 { text-indent: -5em; margin-left: 5em; color: navy; 
           padding-bottom: 0.2em; font-size: 1.5em; }
h2.sect2 { text-indent: -1.5em; margin-left: 1.5em; 
           padding-bottom: 0.1em; }
h3.sect3 { text-indent: -1.5em; margin-left: 1.5em; 
           padding-bottom: 0.1em; }
h4.sect4 { text-indent: -1.5em; margin-left: 1.5em; }

div.hallex   { color: black; background: white; }
table.hallex { border-collapse: collapse; margin: 0.5em; 
               border-color: black; margin-top: 0.5em; padding-top: 0.5em;
               padding-bottom: 0.5em; }
table.hallextblformat { border-collapse: collapse; margin: 0.5em; 
               border-color: black; margin-top: 0.5em; padding-top: 0.5em;
               padding-bottom: 0.5em; }

table     { border-collapse: collapse; border-color: black; }

div.note  { position: relative; }
p.notea   { position: absolute; width: 7em; top: 0; left: 0; 
            font-weight: bold; }
.noteb    { padding-left: 8em; }

p       { padding-bottom: 0pt; margin-bottom: 0.2em; 
          padding-top: 0pt; margin-top: 0.2em; }
ol      { padding-top: 0.1em; padding-bottom: 0.1em; 
          margin-top: 0em; margin-bottom: 0em; }
ul      { list-style-type: disc; padding-top: 0.1em; padding-bottom: 0.1em; 
          margin-top: 0em; margin-bottom: 0em; }
ul.plain  { list-style-type: none; }
li      { padding-top: 0.1em; padding-bottom: 0.1em; }
address { margin-left: 2em; margin-bottom: 0.3em; font-style: normal; }
td address { margin-left: 0.1em; }

div.chaptoc { margin-right: 3em; margin-left: 3em; }
h1.chaptoc  { color: navy; font-size: 2em; }
h2.chaptoc  { font-size: 1.5em; font-family: sans-serif; }
hr.chaptoc  { height: 3pt; color: black; }

div.sectoc  { margin-right: 15%; margin-left: 15%; }
caption.sectoc { font-size: 1.2em; font-weight: bold; }

h1.index { color: navy; padding-bottom: 0.2em; font-size: 2.0em; }
h2.index { padding-bottom: 0.1em; font-size: 1.5em; }
h3.index { padding-bottom: 0.1em; margin-bottom: 0.1em; font-size: 1.1em; }
p.index  { padding: 0em; margin-top: 0em; margin-bottom: 0.1em; 
           margin-left: 4em; text-indent: -2em; }

div.footnote { margin-right: 2em; margin-left: 2em; }
hr.footnote  { color: navy; height: 1pt; }
p.footnotea  { text-indent: -2em; margin-right: 2em; } 
p.footnoteb  { margin-right: 2em; }

div.sectinfo { border-color: green; border-width: medium; width: 50%;
               border-style: groove; padding-left: 1em; }

span.fillin  { color: black; background: lightgreen; }

div.abstract { margin-left: 2em; }
p.abstract   { margin-left: -2em; }
p.caption    { padding-bottom: 1em; padding-top: 1em; }

h1.tn        { font-size: 1.5em; }
h2.tn        { font-size: 1.2em; }
h3.tn        { font-size: 1.2em; }
div.tn       { padding-bottom: 1em; padding-top: 1em; }
div.tnsubject { border-top-color: black; border-bottom-color: black;
                border-width: thin; border-top-style: solid; 
                border-bottom-style: solid; padding-top: 1em;
                padding-bottom: 1em; }
p.tnsubject   { font-size: 2em; font-weight: bold; margin-left: 4em;
                text-indent: -4em; }
p.tndate      { padding-top: 2em; }

dt.varlist    { display: compact }
dd.varlist    { margin-left: 5em }
p.varlist     { margin-left: 5em }