/*
 * IPOL style sheet
 *
 * Copying and distribution of this file, with or without modification,
 * are permitted in any medium without royalty provided the copyright
 * notice and this notice are preserved.  This file is offered as-is,
 * without any warranty.
 */

/*
 * global
 */

body {
    margin: 0;
    color: #000000; 
    background: url('/static/bg.png')
                    left top repeat;
    font-family: Arial, Helvetica, sans-serif; 
    font-size: 15px; }

h1, h2, h3, h4, h5 {
    font-family: Verdana;
    font-weight: normal;
    background: url('/static/bg-header.png')
                    left top repeat-y;
    border-left: #e4e4e4 1px solid;
    padding-left: .1em; }

h1 { 
    font-size:1.4em; 
    border: #CCCCFF dotted; 
    border-width: 0 0 1px 0; }

h2 { 
    font-size:1.2em; }

h3 { 
    font-size: 1.1em; }

h4 { 
    font-size: 1em; }

h5 {
    background: none;
    border-left: #e4e4e4 1px solid;
    padding-left: .1em; }

a {
    color: #003C99;
    text-decoration: none; }

a:visited {
    color: #50205F; }

a:hover { 
    text-decoration: underline; }

p {}

pre {
    padding: .1em .1em .1em .5em;
    margin: 0 0 0 .5em;
    background: #EEEEEE;
    border-left: #AAAAAA 2px solid; }

code {
    font-family: "Lucida Console", Monaco, monospace; 
    font-size: 80%;
    background: #EEEEEE; }

blockquote {
    margin: 0 2em;
    padding-left: .5em;
    border-left: #e4e4e4 2px solid; }

hr.clear {
    clear:both;
    padding: 0;
    margin: 0;
    height: 1px;
    border: 0;
    visibility: hidden; }


/*
 * form controls
 */

button,
input[type="reset"],
input[type="submit"] {
    background: url('/static/bg-toolbar.png')
                left bottom repeat-x;
    background-color: #f6f6f6;
    border: #848484 1px solid;
    margin: 1px;
    padding: 1px;
    -moz-border-radius: 2px;
    -webkit-border-radius: 2px;
    border-radius: 2px; }

button:hover,
input[type="reset"]:hover,
input[type="submit"]:hover {
    border: #d6d6d6 1px solid; }

textarea,
select,
input[type="text"],
input[type="password"],
input[type="radio"],
input[type="checkbox"] {
    background-color: #f6f6f6;
    border: #a4a4a4 1px solid;
    margin: 1px;
    padding: 1px;
    -moz-border-radius: 2px;
    -webkit-border-radius: 2px;
    border-radius: 2px; }

/*
 * main area
 */

#main {
    background: url('/static/bg-main.png')
               left top repeat;
    background-color: #fafafa;
    border: #e4e4e4 1px solid;
    border-top: none;
    margin: auto;
    padding: 0;
    max-width: 60em;
    min-height: 40em; }

#pagetitle {
    padding: 1em 1em .5em .8em;
    margin: 0;
    font-weight: normal;
    font-size: 180%;
    color: #606060;}

/* status */

#locked, 
#status {
    font-size: 80%;
    padding: .1em 1em;
    border-top: 1px #e4e4e4 solid;
    border-bottom: 1px #e4e4e4 solid; }

#locked {
    background: #ffe3e3; }

#status.workshop {
    background: #e3f3ff; }

#status.published {
    background: #e3ffe5; }

dl.biblio {
    padding: 0;
    margin: 0; }
dl.biblio a {
    color: black; }
dl.biblio pre {
    border: none;
    width: 100%;
    margin: 0;
    padding: 0;
    background: none; }
dl.biblio dt {
    text-align: right;
    float: left;
    width: 8em;
    background: url('/static/icons/bullet_black_mini.png')
                right top no-repeat;
    padding-right: 1.5em; }
dl.biblio dd {
    margin-left: 9.5em; }
dl.biblio dd.bibtex {
    width: auto;
    max-height: 1.2em;
    overflow: hidden; }
dl.biblio dd.bibtex:hover {
    max-height: 100em; }

/* crosslinks */

#crosslinks {
    padding: .5em 1em; }

#crosslinks ul {
    margin: .2em 0;
    padding: 0;
    list-style-type: none; }

#crosslinks li {
    display: inline; }

#crosslinks li {
    background: none !important;
    padding: 0 !important;
    display: inline; }

#crosslinks a {
    text-decoration: none;
    background: url('/static/bg-toolbar.png')
                left bottom repeat-x;
    background-color: #f6f6f6;
    border-style: solid;
    border-width: 1px;
    border-color: #848484;
    margin: 1px;
    padding: .2em .4em;
    color: black;
    -moz-border-radius: 2px;
    -webkit-border-radius: 2px;
    border-radius: 2px; }

#crosslinks a:hover,
#crosslinks .active {
    border-color: #d6d6d6; }

#crosslinks .active {
    background: url('/static/bg-toolbar-active.png')
                left top repeat-x;
    background-color: #f6f6f6;
    cursor: text; }

/* content */

#content {
    text-align: justify;
    padding: 1em; }

#content hr {
    width:20%;
    color:#e4e4e4;
    height:1px; }

/* lists */

#content ul {
    list-style-type: none;
    padding: 0;
    margin: 0; }

#content ul li {
    background: url('/static/icons/bullet_black.png')
                left 2px no-repeat;
    padding-left: 18px; }

#content ol li {
    background: none;
    padding-left: 0; }

#content dl dd {
    background: none;
    margin-left: 0;
    padding-left: 0; }

/* toc */

#content .toc {
    background: url('/static/bg-main.png')
               left top repeat;
    background-color: #fafafa;
    float: right;
    max-width: 30%;
    text-align: left;
    padding: .5em;
    margin: 0 0 1em 1em;
    border: #ccccff 1px solid; }

#content .toc:before {
    content: "Content";
    position: relative;
    top: -1em;
    background: url('/static/bg-main.png')
               left top repeat;
    background-color: #fafafa;
    padding: .2em .5em; }

#content .toc ol {
    padding: 0;
    margin: 0; }

#content .toc li {
    list-style-type: none;
    background: url('/static/icons/bullet_black_mini.png')
                left 2px no-repeat;
    padding-left: 18px; }

#content .toc a {
    color: black; }

/* tables */

#content table {
    margin: auto; }

#content table th {
    font-weight: normal;
    font-style: italic;
    text-align: center;
    vertical-align: middle; }

#content table {
    background: white; }

.autoindex table tr:hover {
    background: #EAEAEA;}

.autoindex table td:hover {
    background: #E3E3E3;}

.autoindex table {
    margin: 0 !important;}

/* feeds */

#content #feedlink {
    color: #595959 !important;
    float: right;
    background: url('/static/icons/bullet_feed.png')
                    left center no-repeat;
    padding-left: 14px; }

#content .feedbutton, #content feedbutton:hover {
    border: none;
    margin: 0;
    padding: 0;
    background: none;
    font-weight: normal;
    font-size: 80%;
    text-transform: lowercase;
    color: #595959 !important; }

/* links */

#content a[href$=".txt"],
#content a[href$=".pdf"],
#content a[href$=".zip"],
#content a[href$=".gz"],
#content a[href$=".bz2"],
#content a[href$=".lzma"],
#content a[href$=".tgz"],
#content a[href$=".tbz"],
#content a[href$=".t7z"],
#content a[href$=".avi"],
#content a[href$=".wmv"],
#content a[href$=".mov"],
#content a[href$=".ogv"],
#content a[href$=".mpg"],
#content a[href$=".mpeg"],
#content a[href$=".mp4"] {
    padding-right: 18px; }

#content a[href$=".txt"] {
    background: url('/static/icons/page_white_text.png')
                right center no-repeat; }
#content a[href$=".pdf"] {
    background: url('/static/icons/page_white_acrobat.png')
                right center no-repeat; }
#content a[href$=".zip"],
#content a[href$=".gz"],
#content a[href$=".bz2"],
#content a[href$=".lzma"],
#content a[href$=".tgz"],
#content a[href$=".tbz"],
#content a[href$=".t7z"] {
    background: url('/static/icons/compress.png')
                right center no-repeat; }
#content a[href$=".avi"],
#content a[href$=".wmv"],
#content a[href$=".mov"],
#content a[href$=".ogv"],
#content a[href$=".mpg"],
#content a[href$=".mpeg"],
#content a[href$=".mp4"] {
    background: url('/static/icons/film.png')
                right center no-repeat; }

#content a[href^="mailto:"] {
    padding-right: 18px;
    background: url('/static/icons/email.png')
                right center no-repeat; }

#content a.toggle {
    padding-right: 18px;
    background: url('/static/icons/arrow_updown.png')
                right center no-repeat; }

/*
 * header
 */

.pageheader {
    background: url('/static/bg-header-shadow.png')
                left bottom repeat;
    background-color: #1e4869;
    padding: 0 0 4px 0;
    color: #e4e4e4;}

.pageheader a{
    color: #e4e4e4; }

.pageheader a:hover{
    background-color: transparent;}

.pageheader .header {
    background: url('/static/bg-header.jpeg')
                left bottom no-repeat;
    background-color: #1e4869;
    padding: 0 .5em;
    margin: 0;
    min-height: 1.5em;}

.pageheader .parentlinks {
/*
    display: block;
    margin: auto;
    max-width: 64em;
*/
    font-weight: normal;
    font-size: 65%;
    text-transform: lowercase; }

/*
 * footer
 */

#footer {
    border-top: none;
    font-size: 75%;
    text-align: center;
    padding: 1em; }

#footer,
#footer a {
    color: #595959; }

#footer li {
    display: inline;
    list-style-type: none;
    padding: 3px 0;
    font-style: normal; }

#footer li:after {
    content: "|";
    margin: .5em; }

#footer li:last-child:after {
    content: "";
    margin: 0; }

#footer .createlink a {
    display: none; }

#footer li.tags,
#footer li.backlinks,
#footer li.pagedate,
#footer li.history,
#footer li.feeds,
#footer li.contact,
#footer li.sitemap,
#footer li.hostinfo,
#footer li.pagecopyright,
#footer li.refs,
#footer li.privacy{
    background: url('/static/footer-sprites.png')
                no-repeat;
    padding-left: 18px; }

#footer li.tags {
    background-position: left 2px; }

#footer li.backlinks {
    background-position: left -30px; }

#footer li.pagedate {
    background-position: left -62px; }

#footer li.history {
    background-position: left -94px; }

#footer li.contact {
    background-position: left -126px; }

#footer li.sitemap {
    background-position: left -158px; }

#footer li.hostinfo {
    background-position: left -190px; }

#footer li.pagecopyright {
    background-position: left -222px; }

#footer li.feeds {
    background-position: left -254px; }

#footer li.privacy {
    background-position: left -286px; }

#footer li.refs {
    background-position: left -318px; }


/*
 * search
 */

#searchform {
    float: none; }

#searchbox{
    background: none;
    background-color: #f1f1f1;
    padding: 0;
    margin: 0;
    width: 100%;
    color: #000000;
    border: 1px solid #c6c6c6;}

#searchbox:hover{
    background-color: #ffffff;
    margin: 0;
    border-color: #ababab; }

/*
 * menu
 */

#menu {
    z-index: 1; 
    position:fixed;
    min-width: 30em;
    top: 0;
    right: 0; }

#menu dl {
    max-height: 1.6em;
    overflow: hidden;
    width: 10em;
    padding: 0 .5em;
    margin: 0;
    background: url('/static/bg-tab.png')
                left top repeat;
    background-color: #f1f1f1;
    border: #ababab solid;
    border-width: 0 1px 1px 1px;
    -moz-border-radius-bottomright: 4px;
    -moz-border-radius-bottomleft: 4px;
    -webkit-border-bottom-right-radius: 4px;
    -webkit-border-bottom-left-radius: 4px;
    border-bottom-right-radius: 4px;
    border-bottom-left-radius: 4px; }

#menu dl.edition {
    z-index: 1;
    position:fixed;
    right: 11em; }

#menu dl.help {
    z-index: 2;
    position:fixed;
    right: 6em; }

#menu dl.tools {
    z-index: 3;
    position:fixed;
    right: 2em; }

#menu dl.search { 
    z-index: 4;
    position:fixed;
    right: 0em; }

#menu dl:hover {
    width: 10em;
    background: url('/static/bg.png')
                left top repeat;
    background-color: #f8f8f8;
    border-color: #c7c7c7;
    max-height: 100em; }

#menu dt {
    margin: .1em 0; }

#menu dl.edition dt{
    background: url('/static/icons/page_white_edit.png')
                left center no-repeat;
    padding-left: 18px; }

#menu dl.help dt{
    background: url('/static/icons/help.png')
                left center no-repeat;
    padding-left: 18px; }

#menu dl.tools dt{
    background: url('/static/icons/wrench.png')
                left center no-repeat;
    padding-left: 36px; }

#menu dl.search dt{
    background: url('/static/icons/magnifier.png')
                left center no-repeat;
    padding-left: 18px; }

#menu a {
    color: #000000;
    display: block;
    width: 100%; }

#menu a:hover {
    color: #2d6e28;
    text-decoration: none; }

#menu dd {
    margin: 1em 0;
    padding: 0; }

#menu ul {
    font-size: 90%;
    list-style-type: none;
    padding: 0;
    margin: 0; }

#menu li {
    padding-left: 0.1em;}

#menu li:hover {
    border-left: #ababab 1px solid; }

/*
 * pi
 */

.pi {
    position: fixed; 
    bottom: 0;
    right: 0;
    padding: .5em 1em; }

.pi a, .pi.a:hover {
    color: #e4e4e4;
    background: none;
    cursor: default; }

/*
 * inline archives
 */

div.archive,
div.algo {
    background: url('/static/icons/bullet_green.png')
                left top no-repeat;
    padding-left: 18px;
    margin: .5em 0; }

div.news {
    background: url('/static/icons/note.png')
                top left no-repeat;
    padding-left: 18px;
    margin: .5em 0; }

div.archive .title,
div.algo .title,
div.news .title{
    display: block;
    font-weight: xbold;
    text-align: left;
    text-transform: uppercase; }

div.news p {
    margin: 0;}

/*
 * autoindex
 */

.autoindex table {
    border: 1px solid #e4e4e4;
    background: white; }

/*
 * printouts
 */

@media print {
    .parentlinks { display: none; }
    .crosslinks { display: none; }
    .pi { display: none; }
    .pagefooter { display: none; }
    #menu { display: none; }
    #links { display: none; }
    .toolbar { display: none; }
    .toolbar_placeholder { display: none; }
}