Imported mdplayer updates + Permalink on each comment (using AnnotationsList and Mediafragment) + view "iframe_hash" that forwards the hash to the iframe to test that the hash jump works properly

// Sizing shortcuts

.size(@width; @height) {
  width: @width;
  height: @height;
}

.square(@size) {
  .size(@size; @size);
}