anchor.diff:      SPAN null, ''
   
   
  +# Displays warnings for some platforms
  +# Stores state about the current device. 
  +# Note that IE<9 users are redirected at
  +# an earlier point to an MS upgrade site. 
  +Platform = ReactiveComponent
  +  displayName: 'Platform'
  +
  +  render : ->
  +    platform = @data()
  +
  +    if not platform.is_ios?
  +      rxaosp = window.navigator.userAgent.match /Android.*AppleWebKit\/([\d.]+)/ 
  +      platform.is_android_browser = rxaosp && rxaosp[1]<537  # stock android browser (not chrome)
  +      platform.is_opera_mini = navigator.userAgent.match /Opera Mini/
  +      platform.is_ie9 = document.documentMode && document.documentMode == 9
  +      platform.is_iOS = navigator.platform.match(/(iPad|iPhone)/)
  +      save platform
  +    
  +    if platform.is_android_browser || platform.is_opera_mini
  +      DIV style: {backgroundColor: 'red', padding: '10px', textAlign: 'center', color: 'white', fontSize: 24}, 
  +        "This website does not work well with #{if platform.is_android_browser then 'the Android Browser' else 'Opera Mini'}. Please use "
  +        A href: "https://play.google.com/store/apps/details?id=com.android.chrome&hl=en", style: {color: 'white', textDecoration: 'underline'},
  +          'Chrome for Android' 
  +        ' if you experience difficulty. Thanks, and sorry for the inconvenience!'
  +    else 
  +      # Use third party script for detecting and warning users
  +      # of other outdated browsers. Sticking with
  +      # third party for now because of some complexities
  +      # in detecting some of these browser versions. In 
  +      # the future, probably want to extract the logic. 
  +      # "https://browser-update.org/update.html"
  +      SCRIPT type: 'text/javascript', src: '//browser-update.org/update.js'
  +
  +
   ## ########################
   ## Initialize defaults for client data
   
  
positive.code:     color = @data('color')
  
      DIV style: {minWidth: PAGE_WIDTH, backgroundColor: color.background}, 'data-authmode': @root.auth_mode, #authmode controls styling during authentication process
        Header()
        DIV id: 'body', style : { minWidth: PAGE_WIDTH }, 
          DIV id: 'inner_body', #style : { width: CONTENT_WIDTH },
  
negative.code:   media.width = $(window).width()
    save media
  
  
  $(document).ready -> 
    if 'ontouchend' in document #detect touch support
  