How does WP generate html?

HTML markup can be generated in several ways:

From quick look at this specific theme’s code I found this:

array(  "name" => "Socialize Icons",
            "desc" => "Enter Links to Your Twitter, Facebook, and RSS feeds.<br />If you want to remove the icon, clear the field and save this page",
            "type" => "socialize_icons"),

Which makes me think it has theme options page, where you can change or make blank those fields.