body {
  margin: 0 8px 0 8px;
}

.message {
  font-family: Arial, Helvetica, sans-serif;
  font-weight: 600;
  color: rgba(0, 0, 255, 0.637);
}

.navbar {
  background-color: lightslategray;
  font-size: 1em;
  /*font-family: 'Trebuchet MS', 'Lucida Sans Unicode', 'Lucida Grande', 'Lucida Sans', Arial, sans-serif;/
  */
  color: white;
  padding: 0px 5px 0px 5px;
}

.navbar a {
  text-decoration: none;
  color: inherit;
}

.navbar-brand {
  font-size: 1.2em;
  font-weight: 600;
}

.navbar-item {
  font-variant: small-caps;
  margin-left: 30px;
}

.body-content {
  padding: 5px;
  font-family:'Segoe UI', Tahoma, Geneva, Verdana, sans-serif;
}

input[name=message] {
  width: 80%;
}

table.problem-list {
  border-collapse: collapse;
}

table.problem-list th {
  text-align: left;
  padding: 0.25pc
}

table.problem-list td {
  padding: 0.25pc;
}

table.problem-list tr:nth-child(even) {
  background-color: #f0f0f0;
}

table.grader-view {
  margin: 1pc;
}

table.grader-view td {
  padding-left: 0.5pc;
  padding-right: 0.5pc;
}

table.tight-grader-view td {
  padding-left: 0.25pc;
  padding-right: 0.25pc;
}

table.tight-grader-view th[scope="row"]:not(.th-right) {
  text-align: left;
  font-weight: normal;
  padding-left: 0.25pc;
  padding-right: 0.25pc;
}

ul.demo-sublist li {
  padding-top: 0;
  padding-bottom:0;
}

#logout-form {
  display: inline;
}

#logout-form button {
  background: none;
  color: inherit;
  border: none;
  cursor: pointer;
  padding: 0;
}

.skip-link {
  position: absolute;
  top: -40px;
  left: 6px;
  background: #000;
  color: #fff;
  padding: 8px;
  text-decoration: none;
  z-index: 1000;
  border-radius: 4px;
}

.skip-link:focus {
  top: 6px;
  z-index: 10000;
}