Κόκκινο εμβαδόν

Το παρακάτω σχήμα δείχνει ένα ορθογώνιο και ισοσκελές τρίγωνο $ABC$. Οι κάθες πλευρές του έχουν μήκη $4$. Το ισοσκελές τρίγωνο $DEF$ είναι εγγεγραμμένο στο $ABC$, όπως φαίνεται.

Το σημείο $D$ είναι το μέσο της πλευράς $BC$. Ποιο είναι το εμβαδόν του τριγώνου $DEF$;