body {
/*             max-width: 600px; */
            margin: auto;
            font-family: Arial, Helvetica, sans-serif;
        }
        ol {
            list-style-type: none;
            margin:5px;
            padding: 0;
            border: 1px solid #ddd;
        }
        ol li {
            padding: 8px 8px;
            border-bottom: 1px solid #ddd;
        }
        div.scrollmenu {
            background-color: #F0F0F0;
            overflow: auto;
            white-space: nowrap;
            text-align:left;
            /*border: 1px solid grey;*/
        }

        div.scrollmenu a {
            display: inline-block;
            color: black;
            text-align:center;
            padding: 10px;
            text-decoration: none;
        }

        div.scrollmenu a:hover {
            background-color: #A0A0A0;
        }
        
        div.menu {
            border: 1px outset grey;
            background-color: #FDFDFD;
            text-align: center;
        }
        
        div.record {
            border: 1px outset grey;
            background-color: #FDFDFD;
            text-align: center;
            height: 400px;
            overflow: scroll;
        }