*{
    margin: 0;
    padding: 0;
}

body{
    font-family: Tahoma, sans-serif;
    background-color: #ffffff;
    line-height: 1.5;
    margin: 0px 16px;
}

a:hover,
a:active{
    color: #ff0000;
}

h2{
    font-size: 120%;
}

h2:first-letter{
    font-size: 120%;
    color: #ff0000;
}

h1{
    font-size: 200%;
}

h1:first-letter{
    font-size: 140%;
    color: #ff0000;
}

    h1 a{
        color: #000000;
        text-decoration: none;
    }

    h1 a:hover{
        color: #000000;
        text-decoration: underline;
    }

ol#topic-path{
    display: none;
    list-style-type: none;
    background-color: white;
    overflow: hidden;
}

    ol#topic-path li{
        padding: 0px 0.4em 0px 0px;
        float: left;
        background-color: white;
        position: relative;
    }

    ol#topic-path li:before{
        content: '> ';
    }

    ol#topic-path li:first-child:before{
        content: '';
    }

        ol#topic-path li a{
        }

form#search{
    clear: both;
    margin: 0px 0px 1.2em 0px;
}

    form#search fieldset{
        padding: 0.4em 0.8em 0.6em 0.8em;
        border: 3px double #000000;
    }

        form#search fieldset legend{
            padding: 0px 8px;
        }

        form#search fieldset input{
            font-size: 100%;
            margin: 0px 0px 0.4em 0px;
        }

        form#search fieldset input#keyword{
        }

        form#search fieldset input#submit{
            width: 6em;
        }

        form#search fieldset span#loading{
            display: none;
        }

            form#search fieldset span#loading img{
            }

        form#search fieldset div#suggest{
            display: none;
        }

            form#search fieldset div#suggest span{
                margin: 0px 0.8em 0px 0px;
            }

div#results{
    display: none;
}

    div#results div#abstract{
    }

        div#abstract p{
            text-indent: 1em;
            margin: 0px 0px 1.2em 0px;
        }

    div#results div#relational{
    }

        div#results div#relational ul{
            margin: 0px 4px 1.2em 4px;
            list-style-type: none;
        }

            div#results div#relational ul li{
                margin: 0px 0px 0.6em 0px;
            }

                div#results div#relational ul li p.word{
                    padding: 2px 8px;
                    margin: 0px 0px 0px -4px;
                    border-left: 1em solid #bbddff;
                }

                    div#results div#relational ul li p.word a{
                    }

                div#results div#relational ul li div{
                    background-color: #dddddd;
                }

                    div#results div#relational ul li div p.abstract{
                        font-size: 90%;
                        padding: 2px 4px;
                        margin: 0px 0px 0px -4px;
                        white-space: nowrap;
                        overflow: hidden;
                        background-color: #eeeeee;
                        height: 1.5em;
                    }

        div#results div#relational p#empty{
            margin: 0px 0px 1.2em 0px;
            padding: 0px 0px 0px 3em;
        }

div#introduction{
}

    div#introduction ul{
        margin: 0px 0px 1.2em 0px;
        padding: 0px 0px 0px 3em;
    }

    div#introduction ol{
        margin: 0px 0px 1.2em 0px;
        padding: 0px 0px 0px 3em;
    }

        div#introduction ol li{
        }

            div#introduction ol li dl{
            }

                div#introduction ol li dl dt{
                    display: inline;
                    margin: 0px 0.4em 0px 1em;
                }

                div#introduction ol li dl dt:after{
                    content: ">";
                }

                div#introduction ol li dl dd{
                    display: inline;
                }

                    div#introduction ol li dl dd a{
                    }

                        div#introduction ol li dl dd a kbd{
                            font-family: Tahoma, sans-serif
                        }

p#footer{
    margin: 0px 0px 1.2em 0px;
}

iframe{
    visibility: hidden;
    position: absolute;
    top: 0;
    left: 0;
}