<?php
/**
 * -------------------------------------------------------------------------
 *
 * Snippet for rendering the HEAD section of your web page.
 *
 * -------------------------------------------------------------------------
 */

?><head>
    <base href="<?php printSiteUrl ( ) ?>">
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">

    <meta name="robots" content="noindex, nofollow">
    <title>IDE skeleton</title>

    <link rel="shortcut icon" href="<?php printThemeUrl ( ) ?>images/favicon.ico" type="image/ico">
    <link rel="stylesheet"    href="<?php printThemeUrl ( ) ?>css/styles.css">
</head>
