adjusted the color for 'is-documented' bindings in online check syntax to be

green so it doesn't look anythign close to how the "yellow" error messages
look

collects/drracket/private/syncheck/online-comp.rkt

@@ -3,7 +3,11 @@
          racket/place
          "traversals.rkt"
          "local-member-names.rkt"
-         "intf.rkt")
+         "intf.rkt"
+         framework/preferences)
+
+(preferences:set-default 'framework:white-on-black? #f boolean?)
+
 (provide go)
 
 (define obj%

collects/drracket/private/syncheck/traversals.rkt

@@ -12,7 +12,8 @@
          racket/list
          syntax/boundmap
          scribble/xref
-         scribble/manual-struct)
+         scribble/manual-struct
+         framework/preferences)
 
 (provide make-traversal)
     
@@ -1056,7 +1057,10 @@
                               (let ([index-entry (xref-tag->index-entry xref definition-tag)])
                                 (when index-entry
                                   (send defs-text syncheck:add-background-color
-                                        source-editor start fin "navajowhite")
+                                        source-editor start fin 
+                                        (if (preferences:get 'framework:white-on-black?)
+                                            "darkgreen"
+                                            "palegreen"))
                                   (send defs-text syncheck:add-docs-menu
                                         source-editor
                                         start 

collects/framework/preferences.rkt

@@ -26,7 +26,7 @@ the state transitions / contracts are:
 
 |#
 
-(require scribble/srcdoc racket/class racket/gui/base 
+(require scribble/srcdoc racket/class
          racket/contract racket/file)
 (require/doc racket/base scribble/manual (for-label racket/serialize))