﻿/*
dynamic font technology currently disabled - does not work on this host.
if (dotIR != null)
{
    dotIR.replaceElement ("h1", "#233F68", "#FFFFFF",  560, "left", 25, "/fonts/persans.ttf");
    dotIR.replaceElement ("h2", "#233F68", "#FFFFFF",  560, "left", 22, "/fonts/persans.ttf");
    dotIR.replaceElement ("h3", "#233F68", "#FFFFFF",  560, "left", 20, "/fonts/persans.ttf");
    dotIR.replaceElement ("h4", "#233F68", "#FFFFFF",  560, "left", 18, "/fonts/persans.ttf");
}
*/