            padding: 10px 40px;
        }

        pre {
            text-align: left;
        }

        hr {
            border-top: 1px solid #e5e5e5;
            margin: 40px 0;
        }

        tt {
            font-size: 1.2em;
            background: #129fea1f;
        }

        li {
            margin: 2px 0px;
        }

        a {
            text-decoration: none;
            /* border-bottom: 1px dotted black; */
        }

        a:hover {
            border-bottom: 1px dotted black;
     