/**
 * @file
 * specific CSS for HAL Doc List.
 */
  #spinner{height:100%}
 #spinner .spinner-border{width:4rem;height:4rem;}