fix: import DARK_CARD + use hasattr for vitis_path

- widgets.py: add DARK_CARD to gui.styles imports
- zynq_checker.py: wrap config.vitis_path with hasattr
- bitstream_programmer.py: wrap config.vitis_path with hasattr

src/zynq_checker.py

@@ -87,7 +87,9 @@ def check_zynq_jtag(config: Config, callback: Callable | None = None) -> ZynqChe
         callback("start", "Connecting to hw_server...")
 
     # Find vivado executable
-    vivado_path = _get_vivado_path(config.vitis_path)
+    vivado_path = _get_vivado_path(
+        config.vitis_path if hasattr(config, 'vitis_path') else ""
+    )
     if not vivado_path:
         return ZynqCheckResult(
             devices=[],