/* Content styling */
/* margins go Top Right Bottom Left, like Never Eat Shredded Wheat */
body {
  background-color: #a1110b;
  background-image: url(img/bg/background.gif);
  background-repeat: repeat;
  background-size: 100px 100px;
  color: rgba(255, 255, 255, 1);
  font-family: Verdana;
}
.maincontent { /* Container for the main part of the page */
  background-color: #1A0101;
  width: 60%;
  border: inset 10px red;
  padding: 2px 8px 2px 8px;
}
.maincontentubia { /* Container for the main part of the page */
  background-image: url(img/bg/wikitubia.png);
  background-repeat: no-repeat;
  background-color: #1A0101;
  width: 60%;
  border: inset 10px red;
  padding: 2px 2px 2px 2px;
}
.pagecontainer { /* Father of tree; contains the whole webpage and aligns it */
  width: 100%;
  display: flex;
  justify-content: center;
}
table {
    margin-left: auto;
    margin-right: auto;
}
a {
  color: red;
}
a:hover {
  color: red;
}
a:hover:visited {
  color: red;
}
a:visited {
  color: #BF0000;
}
.std {
  border: 2px solid #aa0000;
  padding: 4px 8px 4px 8px;
}
.stable {
  border: 2px solid #aa0000; 
  border-collapse: collapse;
}
.greenbutton {
  color: green;
}
.greenbutton:hover {
  color: #07DB18;
}
.greenbutton:visited {
  color: green;
}
.greenbutton:hover:visited {
  color: #07DB18;
}
/*comment to pad out css file*/
/*comment to pad out css file*/
/*comment to pad out css file*/
/*comment to pad out css file*/
/*comment to pad out css file*/
/*comment to pad out css file*/