body              {font-family: "Times New Roman";
                   background-color: #FFF8DC} /* #ADD8E6} */
                /* cornsilk , RGB={255, 248, 220} */
                /* lightblue, RGB={173, 216, 230} */
/*
body.res          {background-image: url('figs/xxx.jpg');
                   background-position: center; background-repeat: repeat-y}
*/

h1                {font-family: "Times New Roman"; font-style: italic; font-size: 26pt;
                   color: blue;  text-align: center}

h2                {font-family: "Times New Roman"; font-style: italic; font-size: 23pt;
                   color: blue;  text-align: left;  margin-left:  25pt}

h3                {font-family: "Times New Roman"; font-size: 18pt;
                   color: blue;  text-align: left;  margin-left:  25pt}

h4                {font-family: "Times New Roman"; font-size: 15pt;
                   color: blue;  text-align: left;  margin-left:  25pt}

h5                {font-family: "Times New Roman"; font-size: 13pt;
                   color: blue;  text-align: center}

h6                {font-family: "Times New Roman"; font-size: 12pt;
                   color: black; text-align: right; margin-right: 25pt}


p                 {font-size: 13pt; color: black; text-align: justify;
                   line-height: 20pt; margin-left: 25pt; margin-right: 25pt}


ul                {font-size: 13pt;
                   list-style-type: disc;    margin-left: 0pt; margin-right: 25pt}

ol                {font-size: 13pt;
                   list-style-type: decimal; margin-left: 5pt; margin-right: 25pt}

li                {line-height: 18pt; margin-left: 25pt; margin-right: 25pt}


form              {font-size: 13pt; line-height: 18pt}

fieldset.hotel    {margin-left: 115pt; margin-right: 10pt;
                   border-style: solid; border-color: transparent}


table             {line-height: 24pt; /* margin-left: 30pt; margin-right: 30pt;   */
                   border-style: solid; border-color: transparent; border-width: 1pt}
                /*                      border-color: blue <==> transparent       */

th                {line-height: 24pt; text-align: center}
th.nevigation     {font-size: 12pt; 
                   line-height: 20pt; text-align: right;
                   padding-left: 3pt; padding-right: 3pt;
                   background-color: #ADD8E6}

td                {line-height: 24pt; text-align: center}
                /* background-color: #AFEEEE}                                     */


input.table       {line-height: 15pt; text-align: left;
                   margin-left:  5pt; margin-right:  5pt; height: 15pt; width: 90pt;
                   background-color: #AFEEEE}        /* PaleTurquoise, RGB={175, 238, 238} */

input.submit      {font-family: "Times New Roman"; font-size: 13pt;
                   margin-left: 20pt; margin-right: 20pt; height: 20pt; width: 60pt}


a:visited         {color: #00008B}                   /* darkblue, RGB={0, 0, 139} */


 .center          {text-align: center}
 .left            {text-align: left}
 .right           {text-align: right}

 .en              {font-family: "Times New Roman"}   /* English / Deutsch */

 .chk             {font-family: "¼Ð·¢Åé"}            /* Chinese heading   */
 .chm             {font-family: "²Ó©úÅé"}            /* Chinese paragraph */

 .bf              {font-weight: bold}
 .it              {font-style:  italic}
 .sf              {font-family: sans-serif}

 .black           {color: black}
 .blue            {color: blue}
 .red             {color: red}
 .white           {color: white}