@charset "utf-8";
body {
  width:1250px; display:block; margin: 0 auto;
  background-color:#FFFFF0; color:black;font-family: Helvetica,Arial,sans-serif;
  display:grid;grid-template-columns: 600px 340px 310px; 
}

kopf {
  grid-column:1/3; grid-row:1;
  background-color:teal; text-align:right;border-width:2pt;border-style:solid;border-color:black;font-size:small;font-weight:bold;
}
A.kopfa:link {color:white; text-decoration:none;}
A.kopfa:visited {color:white; text-decoration:none;}
A.kopfa:hover {text-decoration:underline;}
A.kopfa:active {text-decoration:underline;}

lead {
  grid-column:1/3; grid-row:2;
  padding-top:10px;padding-bottom:10px;
}

mainblo {
  grid-column:1; grid-row:3;
  vertical-align:top; min-width:600px;text-align:left;
}
nav {
  grid-column:2; grid-row:3;
  vertical-align:top; padding-left:5px;text-align:left;
}
skys {
  grid-column:3; grid-row:3;
  vertical-align:top; padding-left:10px;
}
foot {
  grid-column:1; grid-row:4;
}

h1      {text-align:center;color:#006400;font-size:x-large;}   /* darkgreen */
h2      {text-align:center;font-size:large;}
h3      {text-align:center;font-size:large; margin-top:0px;margin-bottom:0px;}
p       {text-align:justify;}

A:link {color:blue; text-decoration:none;}
A:visited {color:blue; text-decoration:none;}
A:hover {text-decoration:underline;}
A:active {text-decoration:underline;}

.texdb {color:#00008B;} /* darkblue */

.exampl {font-size:small;}
.remark {font-size:small;}
.bkdate  {font-size:small; text-align:right; }
.sidbox {background-color:#e5ffbb;border:2px solid gray;max-width:100%;padding:3px;}
.sidmen{list-style-type:none;line-height:1.2em;text-indent:-10px;}
.box_rect{width:336px;height:280px;}
.box_lead{width:728px;height:90px;}
.box_lmob{width:320px;height:100px;}

#topbut {
  display: none;
  position: fixed;
  bottom: 20px;
  right: 30px;
  z-index: 99;
  font-size: 30px;font-weight:bolder;
  border: none;
  outline: none;
  background-color: #aaa;
  color: white;
  cursor: pointer;
  padding-top:5px;padding-right:10px;padding-bottom:5px;padding-left:10px;
  border-radius: 6px;}
#topbut:hover {background-color: #444;}