<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN">
-<html>
+<!--[if IE 9 ]> <html class="ie9"> <![endif]-->
+<!--[if (gt IE 9)|!(IE)]><!--> <html class=""> <!--<![endif]-->
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
<meta name="gwt:property" content="locale=<%= I18n.locale.to_s.gsub(/-/, '_') -%>">
-webkit-animation: spin 0.75s infinite linear;
animation: spin 0.75s infinite linear;
}
+.ie9 .spinner {
+ background-image: url(../images/loading.gif);
+ background-repeat: no-repeat;
+ background-position: 0 0;
+ border: none;
+}
.spinner:before,
.spinner:after {
left: -2px;
border: 2px solid #0cf;
border-radius: 50%;
.animation(spin 0.75s infinite linear);
+
+ // For IE9 only, because it does not support css animations
+ // Show animated gif
+ .ie9 & {
+ background-image: url(../images/loading.gif);
+ background-repeat: no-repeat;
+ background-position: 0 0;
+ border: none;
+ }
}
.spinner:before,