<!doctype html>
<html>
<head>
    <script type="text/javascript" src="../../js/case.js"></script>
    <script type="text/javascript" src="../../js/non-functional-test.js"></script>
    <style type="text/css">
        p {
            font-size: 16pt;
        }
        .element-to-dock {
            background-color: #9999ff;
            border: 1px solid #3333ff;
        }
        .wrapper {
            width: 400px;
            margin: 0 auto;
        }
    </style>
</head>
<body>
    <div class="wrapper">
