p{
  margin: 1px;
}

#menu{
  /*padding: 8px 25% 8px 25%;*/
  margin-bottom: 3px;
  height: 2em;
}

#menu .fixed{
  position: fixed;
  border-radius: 3px;
  background-color: rgba(255,255,255,0.8);
  box-shadow: 3px 3px 5px lightgray;
}

#menu td a{
  border: 3px ridge rgba(128,128,128,0.9);
  text-decoration: none;
  color: blue;
}
#menu td a:hover{
  color: red;
}

.unban{
  border: none;
  padding: 0;
}

.menuItem.selected{
  font-weight: bold;
}

fieldset{
  border-radius: 5px;
}

fieldset legend{
  font-weight: bold;
  color: black;
}

.box{
  box-shadow: 3px 3px 5px gray;
}

hr{
  box-shadow: 1px 1px 3px gray;
}

fieldset form{
  margin: 0;
}

/*pre xmp{
  margin: 0;
}*/

table, table td, table th{
  border-radius: 3px;
}

table th{
  position: -webkit-sticky;
  position: sticky;
  top: calc(2em + 2px);
  z-index: 1;
  background: rgba(255, 255, 255, 0.8);
}

ul.users{
  /*list-style-image: url('user.png');*/
  list-style-type: none;
  padding-left: 20px;
}

ul.users li{
  margin-bottom: 2px;
}

ul.users li::before{
  content: url("user.png");
  position: relative;
  left: -5px;
  bottom: -4px;
}

#chatbox{
  margin-left: 3px;
  padding: 3px;
  overflow: auto;
  height: 90%;
  border: 1px inset;
  font-family: sans-serif;
  font-size: 10pt;
}

#chatbox .name{
  font-weight: bold;
  text-shadow: -1px 0 black, 0 1px black, 1px 0 black, 0 -1px black;
}

#chatbox .timestamp{
  font-weight: bold;
}

.softlink{
  color: initial;
  text-decoration: underline;
  text-decoration-style: dotted;
  text-decoration-color: rgba(0,0,0,0.5);
}

.softlink:hover{
  text-decoration: underline;
  text-decoration-style: solid;
  text-decoration-color: rgba(0,0,0,0.5);
}