body {
  font-family: sans-serif;
  margin: 0px;
}
h1 {
  font-size: 12pt;
  padding: 5px;
}
.statistics {
  font-size: smaller;
  padding: 5px;
}
.strikethrough {
  text-decoration: line-through;
}
.smallbutton {
  background-color: transparent;
  font-size: x-small;
  border-radius: 1px;
  border: solid grey 1px;
  vertical-align: middle;
}
.content {
  padding: 5px;
}
.failed {
  background: #FFF0F0;
  border: solid #FF8080 1px;
}
.succeeded {
  background: #F0FFF0; 
  border: solid #80FF80 1px;
}
.neutral {
  background: #FFFFF0; 
  border: solid #FFFF80 1px
}
.wordinfo {
  font-size: smaller;
}
.buttons {
  padding: 5px;
}
img.flag {
  border: 0px;
  width: 16px;
  height: 12px;
}
form {
  margin-bottom: 10px;
  margin-top: 10px;
}
th {
  border: 1px outset;
  font-weight: normal;
}


/* menu bar */
nav {
    margin: 0px 0;
}

nav ul {
    padding: 0;
    margin: 0;
    list-style: none;
    position: relative;
}

nav ul li {
    display: inline-block;
    background-color: white;
}

nav a {
    display: block;
    padding: 0 10px;
    text-decoration: none;
    border: solid grey 1px;
}

nav a:hover {
    border: solid black 1px;
}

/* Hide Dropdowns by Default */
nav ul ul {
    display: none;
    position: absolute;
}

/* Display Dropdowns on Hover */
nav ul li:hover>ul {
    display: inherit;
}

/* Fisrt Tier Dropdown */
nav ul ul li {
    float: none;
    display: list-item;
    position: relative;
}

/* Second, Third and more Tiers	*/
nav ul ul ul li {
    position: relative;
}

/* Change this in order to change the Dropdown symbol */
li>a:after {
    content: ' >';
}

li>a:only-child:after {
    content: '';
}