/** GENERAL STYLE **/

body { color:#505b62; background:#cccccc;
    font-family:arial, Arial, Helvetica, sans-serif; font-size:11pt; font-weight:400;
	margin:0px; padding:0px}

body.no-js .js-only { display:none; }
body.js .no-js-only { display:none; }

a { color:#7d848a; text-decoration:none; }
/*body.faq-page a { color:#728590; } */
a:hover { color:#1889c4; text-decoration:underline; }
a img { border:0px; }
a.disabled { color:#cccccc; text-decoration:none; cursor:text; }
a.disabled:hover { color:#cccccc; text-decoration:none; }
mark { color:#505b62; background:#fff8c6; }
/*mark { color:#505b62; background:#fff8c6; border:1px solid #888888; }*/
/*mark { color:#505b62; background:#ffedab; }*/
a mark { color:#7d848a; }
a:hover mark { color:#1889c4; }
li { list-style-type:square; }
li.no-bullet { list-style-type:none; }

/** FIXME: compatibility with old bht, do this before new headers to override later */
h2 { clear:both; font-size:1em; font-weight:700; border-bottom:2px #7d848a solid;
          padding:0px 0px 0px 24px; margin:2ex 0em; }
h3 { clear:both; font-size:small; font-weight:700; border-bottom:1px #7d848a solid;
          padding: 0px 12px 0px 24px;  }
h4 { clear:both; font-size:small; font-weight:400; padding: 0px 0px 0px 24px; }
h5 { clear:both; font-size:x-small; font-weight:400; padding: 0px 0px 0px 24px; }
h6 { clear:both; font-size:x-small; font-weight:300; padding: 0px 0px 0px 24px; }
/**/

header { border-bottom:2px #7d848a solid; padding:0px 16px 0px 24px; margin:0ex 0em 2ex 0em; }
header.noline { border-bottom:none; }
header.sub { display:inline; white-space:nowrap; }
header.sub:after { content:"\A"; white-space:pre-line; }
header h2 { display:inline; font-size:1em; font-weight:700; border-bottom:none;
	padding:0px; margin:0px; }
header h3 { display:inline; font-size:small; font-weight:700; border-bottom:none;
	padding:0px; margin:0px; }
header h4 { display:inline; font-size:small; font-weight:400; border-bottom:none;
	padding:0px; margin:0px; }
header h5 { display:inline; font-size:x-small; font-weight:400; border-bottom:none;
	padding:0px; margin:0px; }
header h6 { display:inline; font-size:x-small; font-weight:300; border-bottom:none;
	padding:0px; margin:0px; }
#main>p { margin: 10px 0px 10px 24px; padding:0px; }
.section>p { margin: 10px 0px 10px 24px; padding:0px; }
.section>div>p { margin: 10px 0px 10px 24px; padding:0px; }
.index>p { margin: 10px 0px 10px 24px; padding:0px; }

button.text { display:inline; overflow:visible; text-align:left;
	color:#7d848a; text-decoration:none; border: none;
	cursor:pointer; font-family:sans-serif; font-size:1em; font-weight:400;
	background-color: transparent; margin:0px; padding:0px; }
button.text:hover { color:#1889c4; text-decoration:underline; }
button.selected { font-weight:700; font-style:italic; padding-right:4px; }


/** WIDGETS **/

/* hideables */
body.js .hideable a.toggle{ font-weight:300; }
body.js .hideable a.toggle:hover{ text-decoration:none; }

/* dropdown */
.drop-down { display:inline-block; position:relative;
             color:#505b62; font-size:medium; font-weight:normal;
             padding:0px; margin:0px; }
.drop-down a {  color:#505b62; text-decoration:none; }
.drop-down a:hover { color:#1889c4; text-decoration:underline;  }
.drop-down>.head { display:inline-block; position:relative; font-size:smaller; background:#ffffff;
                   border:2px #ffffff solid; width:20px; height:20px; }
.drop-down:hover>.head { border-color:#cccccc;  border-bottom-color:#ffffff; z-index:33;}
.drop-down>.head img { padding:2px; }
.drop-down>.body { display:none; position:absolute; top:22px; left:-20px;
          white-space:normal; font-size:smaller; background:#ffffff; width:200px;
          border:2px #cccccc solid; padding:4px; margin:0px; }
.drop-down>.body p { padding:0px; margin:0px 0px 0.5ex 0px; }
.drop-down>.body ul { padding:0px; margin:0px 0px 0.5ex 0px; }
.drop-down>.body.nowrap { white-space:nowrap; width:auto; }
.drop-down:hover>.body { display:block; z-index:22; }

/* faq tooltips */
.faq>.head { width:20px; height:16px; }
.faq>.head img { padding:2px 4px; }
.faq>.body { top:18px; left:-20px; }
.faq>.body>ul { padding:0px 0px 0.5ex 15px; margin:0px }

/* notifier tootips */
.notifier>.head { width:20px; height:16px; }
.notifier>.head img { padding:2px 4px; }
.notifier>.body { top:18px; right:-40px; left:auto; width:200px; white-space:normal;}
.notifier>.body>ul { font-size:smaller; padding:0px 0px 0.5ex 15px; margin:0px }

/* prefix indices */
.prefix-index>ul { margin:0.5ex 0em 0ex 12px; padding:0px; }
.prefix-index>ul>.drop-down>.head { text-align:center; }
.prefix-index>ul>.drop-down>.body { width:120px; }

/* selector */
.selector-box  { float:right; display:inline; white-space:nowrap; margin: 0ex 0em 2ex 1em;}
.selector-box a {  color:#505b62; text-decoration:none; }
.selector-box a:hover { color:#505b62; text-decoration:underline;  }
.selector-box>img { margin-right:0.5em; vertical-align:-4px; }

.selector>.head { width:auto; height:auto; min-height:18px;
                  border:2px #cccccc solid; padding: 1px 8px 1px 20px; margin:0px;
                  background:#ffffff url("../img/dropdown.dark.16x16.png") no-repeat left center; }
.selector>.body { top:22px; left:0px; white-space:nowrap; width:auto; min-width:100%; }
.selector>.body ul { padding:0px 0px 0px 15px; margin:0px }
.selector>.body ul.options { padding:0px; margin:0px }
.selector>.body ul.options>li { display:block; padding:0px 8px 2px 16px; margin:0px }
.selector>.body ul.checkboxes { padding:0px; margin:0px }
.selector>.body ul.checkboxes>li { display:block; padding:0px 4px 0px 0px; margin:0px }

/* floating panel */
.panel { float:right; display:inline; max-width:250px; background:#ffffff;
	margin:0ex; padding:0ex 0em 2ex 4em; }
.panel>*:first-child { margin-top:0ex; }
/*.panel>*:last-child { margin-bottom:6ex; }*/
.panel-section { margin:0ex 0em 2ex; padding:0px; }

/* content section */
.section { margin:2ex 0em 4ex; padding:0px; }

/* columns */
.columns { display:table-row; }
.columns>.column { display:table-cell; padding:0ex 2em 2ex; }
.columns>.column:first-child { padding-left:0em; }
.columns>.column:last-child { padding-right:0em; }
.columns>.column.min10 { min-width:10%; }
.columns>.column.min20 { min-width:20%; }
.columns>.column.min30 { min-width:30%; }
.columns>.column.min40 { min-width:40%; }
.columns>.column.min50 { min-width:50%; }
.columns>.column.min60 { min-width:60%; }
.columns>.column.min70 { min-width:70%; }
.columns>.column.min80 { min-width:80%; }
.columns>.column.min90 { min-width:90%; }
.columns>.column.min100 { min-width:100%; }

/* verbatim section */
.verbatim { font-family: monospace; background:#ebebeb; border:#cccccc 2px dotted;
	margin:0px 0px 20px 0px; padding: 10px 20px; }

/* refine by menues */
.refine-by { font-size:smaller; }
.refine-by>ul>li { position:relative; }
.refine-by>ul>li img.mark { position:absolute; top:3px; left:-15px; visibility:hidden; }
.refine-by>ul>li:hover img.mark { visibility:visible; }

.refine-by { margin:0ex 0em 2ex; }
.refine-by>p { margin:0px; padding:0px; }
.refine-by>div { position:relative; margin:0px; padding:0px; }
.refine-by.query input { border:1px #cccccc solid; }
.refine-by.query>div>img { margin-left:0.5em; }
.refine-by>ul { margin:0px; padding:0px; }
.refine-by>ul>li { display:block; padding:0px 4px 0px 0px; margin:0px }
.refine-by>ul.checkboxes>li { display:block; white-space:nowrap; padding:0px 4px 0px 0px; margin:0px }
.refine-by>ul.checkboxes>li>input { height:1.6ex; width:1.6ex; vertical-align:-1px; }
.refine-by.type>ul.checkboxes>li>input:hover { color:#1889c4; text-decoration:underline; }
.refine-by.type>ul.checkboxes>li>label:hover { color:#1889c4; text-decoration:underline; }
.refine-by.type>ul.checkboxes>li>label.deselected { color:#7d848a }
.refine-by.type>ul.checkboxes>li>button:hover { color:#1889c4; text-decoration:underline; }
.refine-by>div.slider>select { font-size:smaller; color:#505b62; border:1px #cccccc solid; }
/*.refine-by>div.slider>select>option { padding-left:15px; }*/


/** UNIQUE ELEMENTS **/

/* banner container */
body.js #banner>div.message { display:none; }
#banner { position:relative; text-align:center; font-size:small; margin:0px; padding:0px; }
#banner>div.message { position:relative; min-width:500px; max-width:1150px;
	background:#cccccc; border-width:0px;
	margin:0px auto 0px; padding:4px 4em 4px 2em; }
#banner>div.modest { background:#cccccc; }
#banner>div.fancy { background:#ffd500; }

/* main container */
#main { position:relative; min-width:500px; max-width:1150px; background:#ffffff;
	margin:0px auto; padding:10px 4em 10px 2em; }

/* logo */
#logo {height:116px; text-align:left; margin:14px 0em 24px; }
#logo img { margin:0px 0em; padding:0px 0em; }

/* top menu */
nav.top { display:inline; position:absolute; top:0px; right:4em;
          color:#ffffff; background:#606b70; border-bottom:2px solid #606B70;
          margin:0px; padding:6px 40px 0px; }
nav.top>ul { display:inline; list-style:none; white-space:nowrap; padding:0px; margin:0px; }
nav.top>ul>li:after { content:"|"; color:#ebebeb; }
nav.top>ul>li:last-child:after { content:normal; }

nav.top a {  color:#505b62; text-decoration:none; }
nav.top a:hover { color:#1889c4; text-decoration:underline;  }

nav.top .drop-down { vertical-align:bottom; }
nav.top .drop-down>.head { width:auto; height:auto; min-height:24px; font-size:11pt;
                           background:#606b70; border:2px #606b70 solid;
                           padding: 0px 8px; margin:0px; }
nav.top .drop-down>.head a { color:#ffffff; text-decoration:none; }
nav.top .drop-down>.head a:hover { color:#ebebeb; text-decoration:underline;  }
nav.top .drop-down:hover>.head { background:#313b40; border-color:#313b40; }
nav.top .drop-down>.body { top:24px; left:0px; white-space:nowrap; width:auto; min-width:100%;
                           font-size:11pt; }
nav.top .drop-down:hover>.body { z-index:44; }
nav.top .drop-down>.body ul { padding:0px; margin:0px 0px 0.5ex 0px; }
nav.top .drop-down>.body ul>li { display:block; padding:0px; margin:0px 4px 0px 4px; }
nav.top .drop-down>.body ul>li.separator { margin:5px 0px; }

/* notification */
#announcement { display:inline; position:absolute; top:8ex; right:4.5em; z-index:1;
                background:lightyellow; color:darkblue; font-size:small;
                padding: 0px 4px 2px; border: 2px gold dotted; }
#announcement a { color:maroon; }

/* search form */
#search { position:absolute; display:inline; top:110px; right:4em; }
#search>img.icon { margin-right:0.5em; vertical-align:-2px; }
#search>img.no-js-only.icon { vertical-align:-2px; }
#search>input { position:relative; border:2px #cccccc solid; width:320px; height:24px; }

/* head line */
#headline { position:relative; clear:both; background:#606b70; color:#ffffff;
            padding:4px 24px; margin:2ex 0em; }
#headline>h1 { display:inline; font-size:x-large; font-weight:600; }
#headline>h1 a { color:#ebebeb; }
#headline>h1 a:hover { color:#cccccc; text-decoration:none; }
#headline>.note-line { font-size:small; }
#headline>.note-line a { color:#ebebeb; }
#headline>.note-line a:hover { color:#cccccc; text-decoration:none; }

body.js #headline { padding:4px 24px 4px 48px; }
body.js #headline ul.hide-control { position:absolute; display:inline;
                                    left:24px; font-size:small;
                                    padding:0px; margin:0px 0.5em 0px 0px;}
body.js #headline ul.hide-control>li { display:table-row; list-style:none; }
body.js #headline ul.hide-control a { color:#ebebeb; text-decoration:none; }
body.js #headline ul.hide-control a:hover { color:#cccccc; text-decoration:none; }

/* heading menu */
nav.head { display:inline; color:#505b62; margin-left:0.5em; }
nav.head>ul { display:inline; list-style:none; white-space:nowrap; padding:0px; }
nav.head .drop-down { vertical-align:bottom }
nav.head .drop-down a {  color:#505b62; text-decoration:none; }
nav.head .drop-down a:hover { color:#1889c4; text-decoration:underline;  }
nav.head .drop-down>.head { background:#606b70; border:2px #606b70 solid; }
nav.head .drop-down:hover>.head { background:#313b40; border-color:#cccccc; }
nav.head .drop-down>.body { white-space:nowrap; width:auto; }
nav.head .drop-down>.body ul { padding:0px; margin:0px 0px 0.5ex 0px; }
nav.head .drop-down>.body ul>li { display:block; padding:0px; margin:0px 4px 0px 0px; }
nav.head .drop-down>.body>ul>li>a>img { vertical-align:-2px; padding-right:0.3em; }
nav.head .drop-down>.body ul.bullets>li { display:list-item; padding:0px;
                                          margin:0px 4px 0px 15px; }

/* header menu */
nav.header { display:inline; margin-left:0.5em; }
nav.header>ul { display:inline; list-style:none; white-space:nowrap; padding:0px; }
nav.header>ul>li { display:inline-block; vertical-align:-3px; }

nav.header .drop-down>.body { white-space:nowrap; width:auto; }
nav.header .drop-down>.body ul { padding:0px; margin:0px 0px 0.5ex 0px; }
nav.header .drop-down>.body ul>li { display:block; padding:0px; margin:0px 4px 0px 0px; }
nav.header .drop-down>.body>ul>li>a>img { vertical-align:-2px; padding-right:0.3em; }
nav.header .drop-down>.body ul.bullets>li { display:list-item; padding:0px;
                                          margin:0px 4px 0px 15px; }

/* side menu */
nav.side { position:absolute; right:30px; margin:0px; padding:0px; }
nav.side .icon { border:0px; width:16px; height:16px; padding:2px; }
nav.side .generic-icon { display:block; width:20px; text-align:center;
                      color:#5b6870; font-weight:800; }
nav.side .generic-thin-icon { display:block; width:20px; text-align:center;
                           color:#5b6870; font-weight:400; }

nav.side a { text-decoration:none; color:#ebebeb; }
nav.side a:hover { text-decoration:none; }

nav.side>ul { position:fixed; list-style:none; white-space:nowrap; background:#cccccc;
           margin:0px; padding:8px 2px 8px 4px; }
nav.side>ul>li:hover { background:#ebebeb; }

nav.side>ul>li { border-right:8px solid #cccccc; list-style-type:none; }
nav.side>ul>li.underline { border-bottom:1px solid #7d848a; }
nav.side>ul>li.book { border-right-color:#f8c91f; }
nav.side>ul>li.incollection { border-right-color:#ef942d; }
nav.side>ul>li.article { border-right-color:#c32b72; }
nav.side>ul>li.inproceedings { border-right-color:#196ca3; }
nav.side>ul>li.editor { border-right-color:#33c3ba; }
nav.side>ul>li.reference { border-right-color:#96ad2c; }
nav.side>ul>li.informal { border-right-color:#606b70; }
nav.side>ul>li.decade { font-size:small; }

/* breadcrumbs */
#breadcrumbs { margin:2ex 0em; }
#breadcrumbs>ul { display:table-cell; margin:0px; padding:0px 0px 0px 24px; }
#breadcrumbs>ul>li { list-style-type:none; margin:0px; padding:0px 0px 0px 0px; }

/* info section */
#info-section>div { margin:1ex 0em; padding:0px; }
#info-section>div em { font-size:small; }

/* footer */
#footer { padding:0px; margin:0ex 0em 4ex; }
#footer>.credit { text-align:right; }
#footer>.credit img { padding:0px; margin:0px 0px 1ex 1.5em; }
#footer>.info { border-top:2px #7d848a solid; }
#footer>.info p { font-size:small; margin:0.5ex 0px; padding:0px; }
#footer>.info img { position:relative; top:3px; }

/* front page */
#frontpage { display:table; margin: 0ex 0em 4ex; border-collapse:separate; }
#frontpage p { margin: 10px 0px 10px 24px; padding:0px; }
#frontpage>div>* { margin:0ex 0em 4ex; }
#frontpage #main-column { display:table-cell; max-width:1150px; }
#frontpage #side-column { display:table-cell; min-width: 160px; max-width:430px;
	padding-left:4em; font-size: small; }
#frontpage #intro>p { margin-left:20px; }
#frontpage #browsable { background:#ebebeb; margin-left:20px; padding:1ex 1em 1ex 35px; }
#frontpage #browsable>li { position:relative; list-style-type: none; margin:0.5ex 0em; padding:0px; }
#frontpage #browsable>li>img { position:absolute; top:5px; left:-20px; width:12px; height:12px; background:#196ca3; }
#frontpage #browsable>li>img.person { background:#606b70; }
#frontpage #browsable>li>img.article { background:#c32b72; }
#frontpage #browsable>li>img.inproceedings { background:#196ca3; }
#frontpage #browsable>li>img.editor { background:#33c3ba; }
#frontpage #browsable>li>img.book { background:#f8c91f; }
#frontpage #browsable>li>header { font-weight:700; border:none; margin:0px; padding:0px; }
#frontpage #browsable>li>ul { margin:0px; padding:0px; }
#frontpage #browsable>li>ul>li { display:inline-block; list-style-type:none;
	margin:0ex 0.5em 0ex 0em; padding:0px; }

#frontpage #feeds>ul>li { margin-bottom:1ex; }
#frontpage #feeds>ul>li>p { margin:0px; padding:0px; }
#frontpage #feeds>ul>li>ul { max-height:10ex; overflow-x:auto; overflow-y:scroll; border:1px #cccccc solid;
	margin:0px; padding:0px; }
#frontpage #feeds>ul>li>ul>li { list-style-type:none; font-size:x-small; margin:0px; padding:0px; }
#frontpage #social>div { margin-left:20px;  }

/** MAKROS **/

.display-none { display:none !important; }
.invisible { visibility:hidden !important; }
.clear-both { clear:both !important; }
.nowrap { white-space:nowrap !important; }
.noskip { margin-bottom:0px !important; }
.noskip + * { margin-top:0px !important; }
.wrap { white-space:normal !important; }

.homonym-nr { font-size:66%; }
.strong { font-weight:700; }
.em { font-style:italic; }
.warning { color:maroon; font-style:italic; }