Red highlight means Cannot resolve symbol \'Theme\'
<
Error should be resolved now.
If that did not resolve, then try below
appcompact-v7
Issue must be resolved!