article, .article { width: 100%; max-width: 1000px;  padding: 10px; margin: 10px auto; min-height: 400px;  }

.topnavi { padding: 15px 10px; text-align: center; background: #e6ecf3; font-size: 20px; }

.footer {  padding: 20px 10px; text-align: center; color: gray; background: #e8e9ea; font-size: 16px;  }

.welcomediv { font-size: 16px; line-height: 2; }


pre { max-height: 200px; overflow: auto; }


.table2 { background: #fff; border-collapse: collapse; width: 99%; }
.table2 th { background: #e6e7e6; color: navy; border: 1px solid #a3b8c5; padding: 2px 3px; }
.table2 td { border: 1px solid #a3b8c5; padding: 2px 3px; vertical-align: top; }