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

     1

// Opacity

     2

     3

.opacity(@opacity) {

     4

  opacity: @opacity;

     5

  // IE8 filter

     6

  @opacity-ie: (@opacity * 100);

     7

  filter: ~"alpha(opacity=@{opacity-ie})";

     8

}