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

// Progress bars

.progress-bar-variant(@color) {
  background-color: @color;

  // Deprecated parent class requirement as of v3.2.0
  .progress-striped & {
    #gradient > .striped();
  }
}