anchor.diff:      color = @data('color')
   
       DIV style: {minWidth: PAGE_WIDTH, backgroundColor: color.background}, 'data-authmode': @root.auth_mode, #authmode controls styling during authentication process
  +      Platform()
         Header()
         DIV id: 'body', style : { minWidth: PAGE_WIDTH }, 
           DIV id: 'inner_body', #style : { width: CONTENT_WIDTH },
  
positive.code:         # Text input is bad on iOS when nested in a fixed position element. So if the user
          # is trying to edit text, we'll shut off the sticky decisionboard.
          # TODO/BUG: this is not detecting text input when editing a point, or for editing a comment. 
          ios_fix = !is_iOS || (!@data('your_pro_points').adding_new_point && !@data('your_con_points').adding_new_point)
  
          @root.proposal_mode == 'crafting' && ios_fix 
  
  
negative.code:     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
  
  