@import "info-section.css";
.post {
}

.post-list {
  font-size: 13px;
}

.post-list-item {
  line-height: 2em;
}

div.post-list-item:hover {
  background-color: #ffa;
}

.most-commented .post-list-item, 
.latest-commented .post-list-item,
.most-liked .post-list-item, 
.latest .post-list-item {
  line-height: 1.2em;
}

.post .info {
  margin: 10px 0;
  font-size: 0.8em;
}

.post .info .date-stamp {
  font-size: 1.6em;
  font-weight: bold;
  color: maroon;
}

.post .info .time-stamp {
  color: grey;
}

.post .info .student,
.post .info .superuser {
  clear: both;
  font-weight: bold;
}

.post-list .info .student,
.post .info .student {
  color: green;
}

.post-list .info .superuser,
.post .info .superuser {
  color: red;
}

.post .title {
  font-weight: bold;
  font-size: 1.2em;
}

.post .content,
#new-post-form textarea {
  /* XXX: we need a REAL monospace font */
  font: 1em mingliu, WenQuanYiZenHeiMono, monospace;
}

.post .url,
.post .license {
  margin: 5px;
  font-size: 0.8em;
}

.post .license {
  font-family: monospace;
  color: grey;
}

.post-list .title.interview {
/*  background-color: */
}

.comments {
  border-top: 2px dotted #ccc;
}

.comment {
  font-size: 13px;
  margin: 10px 0;
  border-left: 2px solid #f3f7fb;
  padding-left: 10px;
}

.comment .info {
  color: silver;
  border-bottom: 1px solid silver;
}

.comment .info .author,
.comment .info .time-stamp {
  font-weight: bold;
}

.comment .info .author {
  color: black;
}

.comment .info .time-stamp {
  color: grey;
}

#new-comment-form textarea,
.comment .content {
  width: 100%;
  font-family: Helvetica, sans-serif;
}

div.comment:hover {
  border-left: 2px solid silver;
}