.time a:link, .time a:visited {
  color: #999
}

.nick {
  font-weight: bold
}

td {
  vertical-align: top
}

h1, h2, h3, h4 {
  font-family: Verdana, Helvetica, sans-serif;
}

body {
  margin-left: 5%;
  margin-right: 10%;
  margin-top: 48pt;
}

/* Nick colour assignments 

.nickstyle0 { background-color: white   }
.nickstyle1 { background-color: #DBDBDB }
.nickstyle2 { background-color: #CCF    }
.nickstyle3 { background-color: #FCC    }
.nickstyle4 { background-color: #CFC    }
.nickstyle5 { background-color: #FFA    }
.nickstyle6 { background-color: #AAF    }
.nickstyle7 { background-color: #AFA    } */

.nickstyle0 { color: black   }
.nickstyle1 { color: navy    }
.nickstyle2 { color: darkgreen }
.nickstyle3 { color: #666    }
.nickstyle4 { color: #373    }
.nickstyle5 { color: #773    }
.nickstyle6 { color: #733    }
.nickstyle7 { color: #822    }
.nickstyle8 { color: #377    }
.nickstyle9 { color: #00C    }
.nickstyle10 { color: #C00   }
.nickstyle11 { color: #0B0   }