pe span.type {
        font-size: 0.8em;
        color: #777;
        font-style: italic
    }

    div.ref_type dl dt {
        font-size: 1.1em
    }

    div.ref_type dl dd {
        margin-left: 3em;
        margin-bottom: 1em
    }

    div.ref_type dl:last-child {
        margin-bottom: 0
    }

    div.ref_search input {
        padding: 0.5em;
        border-radius: 0.5em;
        width: 90%;
    }
    </style>
    {% include example_script.html %}
</head>
<body>
     {% include nav.html param='refe