Eu tenho tentado definir um tema holo no Android, mas não consegui reconhecê-lo. Alguma ideia?

Postado é o meu manifesto:

<?xml version="1.0" encoding="utf-8"?>
<manifest xmlns:android="http://schemas.android.com/apk/res/android"
    package="com.test.test"
    android:versionCode="1"
    android:versionName="1.0" >

    <uses-sdk android:minSdkVersion="7" android:targetSdkVersion="15"/>

    <application
        android:icon="@drawable/ic_launcher"
        android:label="@string/app_name" android:theme="@android:style/Theme.Holo">
        <activity
            android:name=".TestActivity"
            android:label="@string/app_name" >
            <intent-filter>
                <action android:name="android.intent.action.MAIN" />

                <category android:name="android.intent.category.LAUNCHER" />
            </intent-filter>
        </activity>
    </application>

</manifest>

Me dá a linha vermelha sob@android:style/Theme.Holo mesmo se eu mudar o minSdkVersion para 11. Alguma idéia?

Atualizar:

Eu mudei a linha<uses-sdk android:minSdkVersion="7" android:targetSdkVersion="15"/> para<uses-sdk android:minSdkVersion="7" android:targetSdkVersion="15"/> e ainda estou recebendo o mesmo erro.

Atualização 2:

Isso acabou sendo que minha API de destino foi especificada corretamente no manifesto, mas não nas propriedades do projeto. Estranho, mas agora está bem.