body#htstub                { background-color: #446688; }
    #htstub p              { color: #004488; }

    #htstub h1             { border-bottom-color: #004488; }

    #htstub .tab           { background-color: #ddeeff; border-color: #004488; }
    #htstub .dl            { background-color: #bbccdd; }

    #htstub a              { color: black; border-bottom-color: #99a2aa; }
    #htstub a:hover        { border-bottom-color: #0080ff; }

    #htstub .h1keywords    { color: #3399ff; }

    #htstub #contentframe  { background-color: white; border-color: #003366; }