/* -*- coding: utf-8 -*- */
a.mail:link {
    background-color: inherit;
    color: green;
}
a.mail:visited {
    background-color: inherit;
    color: olive;
}


h1 {
    margin: 0px;
    text-align: center;
}


input[type="submit"] {
    background-color: #e8e8e8;

    border-radius: 5px;
    border-style: outset;

    cursor: pointer;
    margin: 1px 0px;
    padding: 0px;
}
input[type="submit"]:active,
input[type="submit"].selected {
    border-style: inset;
}

input#alphanormalize_max_nb { width: 3ex; }

input#replace_regexp_flags { width: 4ex; }

input[type="checkbox"] { cursor: pointer; }


select option { padding: 0px; }


textarea { overflow: auto; }

textarea#txt2-dest-text,
textarea#txt2-src-text {
    font-family: monospace;
    font-size: medium;

    height: 21ex;
    margin: 0px;
    padding: 0px;
    width: 100%;
}


tt { font-family: monospace; }


ul { margin: 0px; }



.float-right { float: right; }

.gpl-warning {
    clear: both;
    font-size: smaller;
    padding-bottom: 2px;
    text-align: right;
}

.inline-block { display: inline-block; }

.nowrap { white-space: nowrap; }

.txt2-version {
    float: right;
    text-align: right;
}


#choice-font-select { font-family: monospace; }

#choice-font-size-select { font-size: medium; }


#list-characters,
#list-entities {
    cursor: pointer;
    display: inline-block;
}
#list-entities { font-size: smaller; }

#list-characters div#list-characters-list,
#list-entities div#list-entities-list {
    background-color: #e8e8e8;

    border-bottom-right-radius: 10px;
    border-top-right-radius: 10px;
    border: 1px solid black;

    box-shadow: 5px 5px 5px #d8d8d8;
    cursor: auto;
    display: none;
    padding: 1ex;
    position: absolute;
    z-index: 101;
}

#list-characters div#list-characters-list span,
#list-entities div#list-entities-list span {
    background-color: white;
    border: 1px solid black;
    cursor: pointer;
    display: inline-block;
    margin: 0px -1px 2px 0px;
    padding: 1px;
}
#list-characters div#list-characters-list span.no-entity { background-color: #e0e0e0; }


#no-javascript {
    color: red;
    font-weight: bolder;
}


#panel-statistics {
    display: inline-block;
    position: relative;
}

#panel-statistics #panel-statistics-content {
    background-color: #e8e8e8;

    border-bottom-right-radius: 10px;
    border-top-right-radius: 10px;
    border: 1px solid black;

    box-shadow: 5px 5px 5px #d8d8d8;

    display: none;
    left: 2px;
    max-height: 400px;
    padding: 1ex 1.5em 1ex 1ex;
    position: absolute;
    overflow: auto;
    top: 28px;
}

#panel-statistics #panel-statistics-content table {
    background-color: white;
    border-collapse: collapse;
}

#panel-statistics #panel-statistics-content table tr { text-align: right; }

#panel-statistics #panel-statistics-content table tr td,
#panel-statistics #panel-statistics-content table tr th {
    border: 1px solid black;
    padding: 0px 1ex;
    white-space: nowrap;
}

#panel-statistics #panel-statistics-content table tr th span.statistics-arrow {
    visibility: hidden;
    padding: 0px 1px;
}


#txt2-actions textarea#alphanormalize_replacement,
#txt2-actions textarea#replace_pattern,
#txt2-actions textarea#replace_replacement {
    font-family: monospace;
    height: 5ex;
    margin: 0px;
    padding: 0px;
    position: relative;
    top: 1ex;
}

#txt2-actions table tr { vertical-align: top; }

#txt2-actions table tr td:first-child { white-space: nowrap; }


#txt2-cmp-infos {
    background-color: #ccbb99;
    margin: 1ex 0px;
    padding: 0px 1ex;
}

#txt2-dest #txt2-dest-infos,
#txt2-src #txt2-src-infos {
    background-color: #f8f8f8;

    border-top-left-radius: 1ex;
    border-top-right-radius: 1ex;

    padding-left: 1ex;
}

#txt2-src #txt2-src-infos { min-height: 9ex; }

#txt2-dest #txt2-dest-infos-length { display: inline-block; }


#txt2-regexp-infos {
    background-color: #ccbb99;
    margin: 1ex 0px;
    padding: 0px 1ex;
}