C# Как совершить такую замену?

Как я понял, нужно найти в файле значение по ключу, изменить его и перезаписать файл. Тогда вот так:

// ключ, по которому будем искать, и значение, на которое будем менять
string key = "windowBg", value = "#00ff00";
// сюда читаем и сохраняем весь файл
List<string> text = new List<string>();
using (StreamReader reader = new StreamReader("file.txt"))
    while(!reader.EndOfStream)
        text.Add(reader.ReadLine());
// ищем нужную нам строку по ключу и меняем в ней значение на новое
for (int i = 0; i < text.Count; i++)
{
    if (text[i].Split(':')[0] == key)
    {
        text[i] = string.Format("{0}: {1};", key, value);
        break;
    }
}
// записываем файл с изменениями
using (StreamWriter writer = new StreamWriter("file.txt"))
    foreach (string line in text)
        writer.WriteLine(line);

Писал в браузере и не проверял, так что извините за ошибки, если будут.