/* -----------------------------------------------------------------------
 body
----------------------------------------------------------------------- */

@import url(https://fonts.googleapis.com/css?family=Arimo:400,400italic,700,700italic&subset=cyrillic-ext,latin-ext,greek-ext,vietnamese,latin,cyrillic,greek);

html {
}
body {
    border: 0;
    padding: 0;
    margin: 0;
    font-family: 'Arimo', helvetica, arial;
    font-size: 15.0px;
    line-height: 20.0px;
    color: #333333;
}
h1 {
    display: none;
    margin: 0;
}
h2 {
    font-size: 24.0px;
    line-height: 32.0px;
    margin: 2.0ex 0 1.0ex 0;
}
h2:first-child {
    margin: 0 0 1.0ex 0;
}
h3 {
    font-size: 20.0px;
    line-height: 26.0px;
    margin: 2.0ex 0 1.0ex 0;
}
h4 {
    font-size: 17.0px;
    margin: 0 0 1.0ex 0;
}
h5 {
    font-size: 15.0px;
    margin: 0;
}
a {
    color: #004a9a;
}
a:hover {
    color: #0062cc;
}
a.black {
    color: #333333 !important;
}
form {
    margin: 0;
    padding: 0;
}
.virtual {
    display: block;
    width: 0px;
    height: 0px;
    overflow: hidden;
}
.blocked {
    display: block;
    z-index: 99;
    filter: alpha(opacity=50);
    opacity: 0.5;
}
.mono {
    font-family: monospace;
}
span {
    white-space: nowrap;
}
i.icon-share-alt {
    margin: 2px 2px 0 2px;
}
img {
    -ms-interpolation-mode: bicubic;
}
xref {
    cursor: pointer;
    color: #004a9a;
}
xref:hover {
    color: #0062cc;
    text-decoration: underline;
}
.popup {
    position: absolute;
    display: none; 
    z-index: 2;
    top: 30px;
    left: 0px;
    width: 600px;
    background: #ffffff;
    padding: 5px 10px;
    border: 1px solid #dddddd;
    border-radius: 5px;
    -webkit-box-shadow: 0px 5px 5px 5px rgba(255, 255, 255, 1.0);
    -moz-box-shadow: 0px 5px 5px 5px rgba(255, 255, 255, 1.0);
    box-shadow: 0px 5px 5px 5px rgba(255, 255, 255, 1.0);
}
iframe {
    width: 100.0%;
    height: 2000px;
    border: 0;
}


/* -----------------------------------------------------------------------
 line
----------------------------------------------------------------------- */

div#line {
    position: fixed;
    z-index: 99;
    width: 100%;
    border-top: 3px solid #ffc300;
}


/* -----------------------------------------------------------------------
 page
----------------------------------------------------------------------- */

div#page {
    width: 990px;
    margin: 0 auto;
}


/* -----------------------------------------------------------------------
 head
----------------------------------------------------------------------- */

div#head {
    position: fixed;
    z-index: 98;
    width: 930px;
    padding: 0 30px;
    background: #ffffff;
}
div#head.start {
    position: relative;
}


/* -----------------------------------------------------------------------
 body
----------------------------------------------------------------------- */

div#body {
    position: relative;
    width: 930px;
    padding: 0 30px;
}


/* -----------------------------------------------------------------------
 menu
----------------------------------------------------------------------- */

div#menu {
    position: relative;
    z-index: 99;
    height: 50px;
    background: #ffffff;
    text-align: center;
}
ul.pages {
    display: inline-block;
    margin: 6px auto 0;
}
ul.prefs {
    position: absolute;
    margin: 6px 0 0 0;
    top: 0px;
    right: 0px;
}
ul.pages li, ul.prefs li {
    float: left;
}
ul.pages li a, ul.prefs li a {
    color: #000000;
    padding: 2px 10px 2px 10px;
    border: 1px solid #ffffff;
    filter: alpha(opacity=50);
    opacity: 0.5;
}
ul.pages li a:hover, ul.prefs li a:hover {
    background: #f7f7f7;
    border: 1px solid #dddddd;
    border-radius: 5px;
}
ul.login {
    padding: 10px;
}
ul.login button {
    float: right;
}
ul.preferences {
    padding: 10px;
}
ul.preferences button {
    float: right;
}
ul.preferences form span {
    display: block;
    float: left;
    margin-bottom: 10px;
}


/* -----------------------------------------------------------------------
 tabs
----------------------------------------------------------------------- */

div#tabs {
    position: relative;
    z-index: 98;
    background: #ffffff;
}
div#tabs nav {
    padding-left: 200px;
    margin: 0;
}
div#tabs nav a {
    color: #333333 !important;
}
div#tabs nav a.logo {
    position: absolute;
    bottom: 0px;
    left: 0px;
}
div#tabs nav img.LOGO {
    width: 246px;
    height: 66px;
}
div#tabs nav img.logo {
    width: 168px;
    height: 28px;
}
div#tabs nav ul {
    border-bottom-color: #bbbbbb;
    margin: 0;
}
div#tabs nav li a {
    padding: 5px 20px 2px 20px;
    background: none;
    border-color: #dddddd;
    border-bottom-color: #bbbbbb;
}
div#tabs nav li.active a {
    background: #ffffff;
    border-top-color: #bbbbbb;
    border-left-color: #bbbbbb;
    border-right-color: #bbbbbb;
    border-bottom-color: #ffffff;
}
div#tabs nav li a:hover {
    background: #f7f7f7;
}
div#tabs nav li.active a:hover {
    background: #ffffff;
}
div#tabs[class=start] {
    padding: 0 90px 0 90px;
}
div#tabs[class=start] nav {
    padding-left: 0;
}
div#tabs[class=start] nav a.logo {
    position: relative;
    display: block;
    text-align: center;
    padding: 90px 0 30px 0;
}


/* -----------------------------------------------------------------------
 main
----------------------------------------------------------------------- */

div#main {
    position: relative;
    padding: 79px 0 10px 0;
}
div#main[class=start] {
    padding: 0 90px 10px 90px;
}
div#main div.start {
    padding: 80px 0 20px 0;
}
div#main div.start>div.title {
    float: left;
    width: 23%;
}
div#main div.start>div.title>strong {
    font-size: 27px;
    line-height: 30px;
    font-weight: normal;
}
div#main div.start>div.text {
    float: left;
    /* width: 29%; */
    width: 66%;
    padding-left: 7.5%;
    padding-top: 1px;
}
div#main div.start>div.text>p {
    text-align: start;
}
div#main div.start>ul {
    margin-left: 3em;
}


/* -----------------------------------------------------------------------
 foot
----------------------------------------------------------------------- */

div#foot {
    position: relative;
    padding: 10px 0 10px 0;
}
div#foot div.logos {
    position: relative;
    width: 642px;
    margin: 0 auto;
    white-space: nowrap;
}
div#foot div.logos img {
    float: left;
}
div#foot div.logos img.fiz {
    width: 214px;
    height: 52px;
}
div#foot div.logos img.ems {
    width: 214px;
    height: 52px;
}
div#foot div.logos img.haw {
    width: 214px;
    height: 52px;
}
div#foot div.logos img.fiz { .at2x('static/fiz-a.gif', 214px, 52px); }
div#foot div.logos img.ems { .at2x('static/ems-a.gif', 214px, 52px); }
div#foot div.logos img.haw { .at2x('static/haw-a.gif', 214px, 52px); }
/*
div#foot div.edited img.fiz:hover { .at2x('static/fiz-a.gif', 214px, 52px); }
div#foot div.edited img.ems:hover { .at2x('static/ems-a.gif', 214px, 52px); }
div#foot div.edited img.haw:hover { .at2x('static/haw-a.gif', 214px, 52px); }
*/

div#foot div.copyright {
    position: relative;
    padding: 20px 0 0 0;
}
div#foot div.copyright a {
    padding: 0 10px;
}
div#foot div.info {
    position: relative;
    float: right;
}
div#foot div.info>ul>li {
    float: left;
}
div#foot div.info>ul>li a {
    padding: 0 10px 0 10px;
}
div#foot div.info li.info {
    width: 1080px;
    padding: 0 10px;
}


/* -----------------------------------------------------------------------
 start
----------------------------------------------------------------------- */

div#start {
    position: relative;
}


/* -----------------------------------------------------------------------
 content
----------------------------------------------------------------------- */

div.content {
    position: relative;
}
div.content-clear {
    clear: both;
}
div.content-space {
    height: 3ex;
}
div.content-fixed {
    position: fixed;
    z-index: 95;
    width: 930px;
    background: #ffffff;
}
div.content-shadow {
    position: relative;
    height: 20px;
    background: #ffffff;
    -webkit-box-shadow: 0px 5px 5px 5px rgba(255, 255, 255, 1.0);
    -moz-box-shadow: 0px 5px 5px 5px rgba(255, 255, 255, 1.0);
    box-shadow: 0px 5px 5px 5px rgba(255, 255, 255, 1.0);
}
div.content-text {
    position: relative;
    padding-top: 32px;
}
div.content-formular {
    position: relative;
    z-index: 96;
    background: #ffffff;
}
div.content-option {
    position: relative;
    z-index: 95;
    padding-right: 24%;
    background: #ffffff;
}
div.content-main {
    position: relative;
    clear: both;
    padding-top: 149px;
}
div.content-result {
    position: relative;
    float: left;
    width: 70%;
}
div.content-filter {
    position: relative;
    float: right;
    width: 24%;
}
div.content-item {
    position: relative;
}
div.content-erdos {
    position: relative;
    clear: both;
    padding-top: 49px;
}
div#main[class=start] div.content-fixed {
    position: relative;
    width: auto;
}
div#main[class=start] div.content-formular {
    position: relative;
}
div#main[class=start] div.content-main {
    padding-top: 0;
}


/* -----------------------------------------------------------------------
 form
----------------------------------------------------------------------- */

div.documents, div.authors, div.journals, div.classification {
    position: relative;
    padding: 0 0 1px 0;
}

div.forms {
    position: absolute;
    z-index: 97;
    right: 0px;
    top: 0px;
}
div.forms ul.forms {
    white-space: nowrap;
    margin: 2px 0 2px 50px;
}
div.forms ul.forms li {
    float: left;
}
div.forms ul.forms li.one-line {
}
div.forms ul.forms li.structured {
}
div.forms ul.forms li a {
    color: #333333;
    padding: 2px 10px 2px 10px;
    background: #ffffff;
    border: 1px solid #ffffff;
}
div.forms ul.forms li a:hover {
    background: #f7f7f7;
    border: 1px solid #dddddd;
    border-radius: 5px;
}

div.one-line {
    position: relative;
    padding-top: 30px;
    background: #ffffff;
}
div.one-line ul.help {
    margin: 0;
}
div.fields, div.operators {
    position: relative;
}
div.operators {
    left: -1px;
    margin-left: 0 !important;
}
div.fields li a, div.operators li a {
    padding: 3px 12px;
}
div.fields span, div.operators span {
    font-family: monospace;
    font-weight: bold;
}
input.formula {
    border-radius: 0 0 0 0;
    border-left: 0;
}

div.structured {
    position: relative;
    display: none;
    padding-top: 20px;
}
div.structured ul.help {
    margin: 0;
}
div.structured label {
    width: 125px;
    padding: 3px 5px 3px 0;
    text-align: right;
}
div.structured div.box0 {
    position: relative;
    float:left;
    white-space: nowrap;
}
div.structured div.box1 {
    position: relative;
    float: left;
}
div.structured div.box2 {
    position: relative;
    float: left;
}
div.structured div.field {
    position: relative;
    padding: 0 0 10px 0;
}
div.structured div.submit {
    position: relative;
    text-align: right;
}
input#an, input#la, input#py, input#rv, input#sw {
    width: 230px;
}
input#MathInput {
    border-radius: 4px 0 0 4px;
    border-right: 0;
}
div.structured div.dt {
    position: relative;
    float: right;
    width: 242px;
    padding: 3px 0 0 0;
}
div.structured div.dt label {
    padding: 0 0 0 10px;
    text-align: left;
    white-space: nowrap;
}
div.structured div.dt input[type=checkbox] {
    margin:0;
}

div.structured div.dm ul li span {
    display: none;
}
div.formulae div.examples ul li span {
    display: none;
}
div.structured div.dm ul li a {
    cursor: pointer;
}
div.formulae div.examples ul li a {
    cursor: pointer;
}

div.special {
    position: relative;
    z-index: 1;
}
div.special ul.help {
    padding: 2px 0;
    float: right;
}
div.special ul.help li {
    float: left;
}
div.special ul.help li a {
    color: #333333;
    padding: 2px 10px 2px 10px;
    border: 1px solid #ffffff;
}
div.special ul.help li a:hover {
    background: #f7f7f7;
    border: 1px solid #dddddd;
    border-radius: 5px;
}
div.special div.help {
    display: none;
    width: 730px;
    padding: 20px 0 30px 0;
    border-top: 1px solid white;
}
div.special div.help table tr td {
    padding-bottom: 10px;
}

div.preview {
    position: relative;
    float: left;
    margin: 10px 0 0 0;
    padding: 10px 10px 10px 10px;
    border: 0px solid #cccccc;
    font-size: 200%;
}

div.navigation {
    position: relative;
    margin: 0;
    padding: 25px 0 10px 0;
}
div.navigation div.title {
    position: relative;
    float: right;
}
div.navigation div.pages {
    position: relative;
    float: right;
    padding-left: 10px;
}
div.navigation div.pages a {
    font-weight: bold;
}
div.navigation div.function {
    position: relative;
    float: left;
}
div.navigation div.function a {
    font-weight: bold;
}
div.navigation div.function div.display-marked-items {
    padding-left: 0px;
    padding-right: 0px;
}
div.navigation div.function div.display-marked-items div.dropdown-toggle {
    padding-left: 6px;
    padding-right: 6px;
}
div.navigation div.function div.display-marked-items ul.dropdown-menu {
    text-align: left;
    min-width: 0px;
    right: 0px;
}
div.navigation div.function div.display-marked-items ul.dropdown-menu a {
    font-weight: normal;
}
div.navigation div.ranking {
    position: absolute;
    display: none;
    top: 25px;
    right: -100px;
}
div.navigation div.ranking input {
    float: left;
}
div.navigation div.ranking span {
    float: left;
}
div.navigation div.items {
    position: relative;
    float: left;
    padding-left: 10px;
}
div.navigation div.limit {
    position: relative;
    font-weight: bold;
}


/* -----------------------------------------------------------------------
 documents
----------------------------------------------------------------------- */

div#documents div.item {
    position: relative;
}
div#documents div.item div.author {
    position: relative;
    font-size: 20.0px;
    font-weight: bold;
    line-height: 30.0px;
}
div#documents div.item div.title {
    position: relative;
    font-size: 20.0px;
    font-weight: bold;
    line-height: 30.0px;
}
div#documents div.item div.title i {
    font-style: normal;
    font-weight: normal;
}
div#documents div.item div.source {
    position: relative;
    font-size: 16.0px;
    font-weight: bold;
    line-height: 24.0px;
}
div#documents div.item div.abstract {
    position: relative;
    padding: 20px 0 20px 0;
}
div#documents div.item div.scan {
    position: relative;
}
div#documents div.item div.scan span {
    display: none;
    position: relative;
    float: right;
}
div#documents div.item div.scan img {
    width: 100px;
    height: auto;
    border: 1px solid #dddddd;
}
div#documents div.item div.reviewer {
    position: relative;
    z-index: 1;
    float: right;
}
div#documents div.item div.classification {
    position: relative;
    padding: 0 0 20px 0;
}
div#documents div.item div.classification table {
    width: 75%;
}
div#documents div.item div.classification table td {
    width: auto;
}
div#documents div.item div.classification table td:first-child {
    width: 3em;
}
div#documents div.item div.keywords {
    position: relative;
    padding: 0 0 20px 0;
}
div#documents div.item div.software {
    position: relative;
    padding: 0 0 20px 0;
}
div#documents div.item div.citations {
    position: relative;
    z-index: 1;
    float: right;
    text-align: right;
    padding: 5px 10px 5px 10px;
    margin: 0 0 10px 20px;
    border: 1px solid #dddddd;
}
div#documents div.item div.citations a {
    color: #333333;
}
div#documents div.item div.references {
    position: relative;
}
div#documents div.item div.references .reference_disclaimer {
    margin-top: 14px;
    font-size: 14px;
    font-weight: normal;
    line-height: 1;
    color: #999; 
}
div#documents div.item div.functions {
    position: relative;
    padding: 0 0 20px 0;
}
div#documents div.item div.functions div.function {
    position: relative;
    float: left;
}
div#documents div.item div.functions div.fulltext {
    position: relative;
    float: left;
    padding-left: 5em;
}
div#documents div.item div.functions a[type="button"] {
    line-height: 16.0px !important;
}
div#documents div.item div.functions span.fulltext {
    font-size: 10.5px;
}

div#documents div.list {
    position: relative;
    padding: 0 0 20px 0;
    border-top: 1px solid #ffffff;
}
div#documents div.list div.author {
    position: relative;
    font-size: 16.0px;
    line-height: 20.0px;
}
div#documents div.list div.title {
    position: relative;
    font-size: 16.0px;
    font-weight: bold;
    line-height: 20.0px;
}
div#documents div.list div.title i {
    font-style: normal;
    font-weight: normal;
}
div#documents div.list div.title a {
    color: #000000;
}
div#documents div.list div.source {
    position: relative;
}
div#documents div.list div.reviewer {
    position: relative;
    z-index: 1;
    float: right;
}
div#documents div.list div.classification {
    position: relative;
}
div#documents div.list div.mark {
    position: absolute;
    top: -4px;
    left: -20px;
}
div#documents div.list div.functions {
    position: relative;
    clear: both;
/*
    filter: alpha(opacity=80);
    opacity: 0.8;
*/
}
div#documents div.list div.functions div.function {
    position: relative;
    float: left;
}
div#documents div.list div.functions div.fulltext {
    position: relative;
    float: left;
    padding-left: 5em;
}
div#documents div.list div.functions a[type="button"] {
    line-height: 16.0px !important;
}
div#documents div.list div.functions span.fulltext {
    font-size: 10.5px;
}

div#documents div.filter {
    position: relative;
    clear: both;
    margin-bottom: 2.0ex;
}
div#documents div.filter a.more, div.filter a.less {
    position: relative;
    float: right;
}
div#documents div.filter a.more:hover, div.filter a.less:hover {
    cursor: pointer;
}
div#documents div.filter a.less {
    display: none;
}
div#documents div.filter h5 {
    margin-bottom: 0.5ex;
}
div#documents div.filter ul {
    margin: 0;
}
div#documents div.filter ul li {
    list-style: none;
}
div#documents div.filter ul li.more {
    display: none;
}

a.more, a.less {
    position: relative;
    top: -1px;
    border: 1px solid #bbbbbb;
    color: #333333 !important;
    font-weight: normal;
    background: #ffffff;
    padding: 0px 2px 0px 5px;
    border-radius: 4px;
}
a.more:hover, a.less:hover {
    text-decoration: none;
    background: #f7f7f7;
}
a.more i.caret, a.less i.caret {
    margin: 8px 2px 0 2px;
}

a.zbmath {
    position: relative;
    color: #004a9a !important;
    margin-left: 5px;
    white-space: nowrap;
}
a.zbmath:hover {
    color: #004a9a !important;
}

a.label {
    position: relative;
    top: -1px;
    border: 1px solid #004a9a;
    color: #333333 !important;
    font-size: 12.0px !important;
    line-height: 16.0px !important;
    font-weight: normal !important;
    background: #ffffff;
    padding: 2px 5px 1px 5px;
}
a.label:hover {
    color: #004a9a !important;
}

a.pdf, a.bib, a.xml {
    color: #004a9a !important;
}


/* -----------------------------------------------------------------------
 captchas
----------------------------------------------------------------------- */

div.captcha {
    width: 256px;
    margin-top: 8px;
}

div.captcha .captcha-img {
    width:100%;
    display: block; 
}

div.captcha .captcha-controls {
    width: 100%;
    margin-top: 8px;
}

div.captcha button.btn {
    float: right;
    border-radius: 0 4px 4px 0; 
}

div.captcha .captcha-input {
    overflow: hidden;
}

div.captcha input {
    width: calc(100% - 14px);
}


/* -----------------------------------------------------------------------
 authors
----------------------------------------------------------------------- */

div#authors div.head { position: relative; clear: both; padding: 0 0 3.0ex 0; }
div#authors div.head small { position: relative; font-size: 20.0px; color: #333333; }
div#authors div.photo { position: relative; float: right; z-index: 1; }
div#authors div.photo img { display: none; }
div#authors div.text { position: relative; }
div#authors div.text table { margin: 0; }
div#authors div.text table tr { margin: 0; }
div#authors div.text table tr td { padding: 0 0 0.5ex 0; font-size: 16.0px; }
div#authors div.text table tr td:first-child { white-space: nowrap; font-weight: bold; padding-right: 0.5em; }
div#authors div.external { position: relative; z-index: 1; float: right; text-align: left; padding: 5px 10px 5px 10px; margin: 2.0ex 0 10px 20px; border: 1px solid #dddddd; }
div#authors div.external a { color: #333333; }
div#authors div.indexed { position: relative; padding: 2.0ex 0 0 0; font-size: 16.0px; }
div#authors div.reviewed { position: relative; padding: 0.5ex 0 0 0; font-size: 16.0px; }

div#authors div.profile { position: relative; clear: both; }
div#authors div.profile div.au { position: relative; width: 30%; float: left; padding: 3.0ex 0 0 0; margin-right: 5%; }
div#authors div.profile div.se { position: relative; width: 30%; float: left; padding: 3.0ex 0 0 0; margin-right: 5%; }
div#authors div.profile div.cc { position: relative; width: 30%; float: left; padding: 3.0ex 0 0 0; }
div#authors div.profile div.py { position: relative; clear: both; padding: 4.0ex 0 0 0; }
div#authors div.profile table.profile { margin: 0; }
div#authors div.profile table.profile tr td:first-child { white-space: nowrap; padding-right: 0.5em; }
div#authors div.profile table.profile tr td:first-child a { font-weight: bold; }
div#authors div.profile table.profile tr td:last-child a { color: #000000; }
div#authors div.profile table.profile tr.more { display: none; }
div#authors div.profile a.more { position: absolute; top: 3.0ex; right: 0px; }
div#authors div.profile a.more:hover { cursor: pointer; }
div#authors div.profile a.less { display: none; position: absolute; top: 3.0ex; right: 0px; }
div#authors div.profile a.less:hover { cursor: pointer; }

div#authors div.publications { position: relative; clear: both; margin-top: 4ex; }
div#authors div.publications h4 { margin-bottom: 0px; }
div#authors div.publications table { width: 100%; table-layout: fixed; margin: 0px 0px 10px; }
div#authors div.publications table tr { border-bottom: 1px solid grey; }
div#authors div.publications table th:first-child { text-align: left; width: 80%; }
div#authors div.publications table th { padding: 15px 0px; text-align: right; width: 10%; }
div#authors div.publications table td:first-child { text-align: left; width: 80%; }
div#authors div.publications table td { padding: 7px 0px; text-align: right; width: 10%; }
div#authors div.publications table div.citation_title a { color: inherit; text-decoration: inherit; }
div#authors div.publications table div.citation_count a { font-weight: bold; }
div#authors div.publications table div.citation_year a { font-weight: bold; }
div#authors div.publications a.more { float: right; }
div#authors div.publications a.more:hover { cursor: pointer; }
div#authors div.publications a.less { display: none; float: right; }
div#authors div.publications a.less:hover { cursor: pointer; }
div#authors div.publications a.sort_cited:hover { cursor: pointer; text-decoration: none; }
div#authors div.publications a.sort_year:hover { cursor: pointer; text-decoration: none; }
div#authors div.publications.sort_by_ci .pub_py { display: none; }
div#authors div.publications.sort_by_py .pub_ci { display: none; }
div#authors div.publications.hide_more tr.more { display: none; }

div#authors div.item { position: relative; clear: both; padding: 0 0 1.5ex 0; }
div#authors div.item h4 { margin: 0 0 3px 0; }
div#authors div.item div.list { clear: both; }
div#authors div.item div.list div.list-left { width: 32%; padding: 1px 2% 0 0; }
div#authors div.item div.list div.list-right { width: 66%; float: right; }

div#authors p.subscription-required { color:gray; margin-top: .5ex; margin-left:.075em; }


/* -----------------------------------------------------------------------
 journals
----------------------------------------------------------------------- */

div#journals div.head { position: relative; clear: both; padding: 0 0 3.0ex 0; }
div#journals div.head small { position: relative; font-size: 20.0px; color: #333333; }
div#journals div.photo { position: relative; float: right; z-index: 1; }
div#journals div.photo img { display: none; }
div#journals div.text { position: relative; }
div#journals div.text table { margin: 0; }
div#journals div.text table tr { margin: 0; }
div#journals div.text table tr td { padding: 0 0 0.5ex 0; font-size: 16.0px; }
div#journals div.text table tr td:first-child { white-space: nowrap; font-weight: bold; padding-right: 0.5em; }
div#journals div.external { position: relative; z-index: 1; float: right; text-align: left; padding: 5px 10px 5px 10px; margin: 2.0ex 0 10px 20px; border: 1px solid #dddddd; }
div#journals div.external a { color: #333333; }
div#journals div.indexed { position: relative; padding: 2.0ex 0 0 0; font-size: 16.0px; }
div#journals div.reviewed { position: relative; padding: 0.5ex 0 0 0; font-size: 16.0px; }

div#journals div.profile { position: relative; clear: both; }
div#journals div.profile div.au { position: relative; width: 30%; float: left; padding: 3.0ex 0 0 0; margin-right: 5%; }
div#journals div.profile div.cc { position: relative; width: 30%; float: left; padding: 3.0ex 0 0 0; margin-right: 5%; }
div#journals div.profile div.xx, div#journals div.profile div.se { position: relative; width: 30%; float: left; padding: 3.0ex 0 0 0; }
div#journals div.profile div.py { position: relative; clear: both; padding: 4.0ex 0 0 0; }
div#journals div.profile table.profile { margin: 0; }
div#journals div.profile table.profile tr td:first-child { white-space: nowrap; padding-right: 0.5em; }
div#journals div.profile table.profile tr td:first-child a { font-weight: bold; }
div#journals div.profile table.profile tr td:last-child a { color: #000000; }
div#journals div.profile table.profile tr.more { display: none; }
div#journals div.profile a.more { position: absolute; top: 3.0ex; right: 0px; }
div#journals div.profile a.more:hover { cursor: pointer; }
div#journals div.profile a.less { display: none; position: absolute; top: 3.0ex; right: 0px; }
div#journals div.profile a.less:hover { cursor: pointer; }

div#journals div.publications { position: relative; clear: both; margin-top: 4ex; }
div#journals div.publications h4 { margin-bottom: 0px; }
div#journals div.publications table { width: 100%; table-layout: fixed; margin: 0px 0px 10px !important; }
div#journals div.publications table tr { width: 100%; border-bottom: 1px solid grey; }
div#journals div.publications table th:first-child { text-align: left; width: 80%; }
div#journals div.publications table th { padding: 15px 0px; text-align: right; width: 10%; }
div#journals div.publications table td:first-child { text-align: left; width: 80%; }
div#journals div.publications table td { padding: 7px 0px; text-align: right; width: 10%; }
div#journals div.publications table div.citation_title a { color: inherit; text-decoration: inherit; }
div#journals div.publications table div.citation_count a { font-weight: bold; }
div#journals div.publications table div.citation_year a { font-weight: bold; }
div#journals div.publications a.more { float: right; }
div#journals div.publications a.more:hover { cursor: pointer; }
div#journals div.publications a.less { display: none; float: right; }
div#journals div.publications a.less:hover { cursor: pointer; }
div#journals div.publications a.sort_cited:hover { cursor: pointer; text-decoration: none; }
div#journals div.publications a.sort_year:hover { cursor: pointer; text-decoration: none; }
div#journals div.publications.sort_by_ci .pub_py { display: none; }
div#journals div.publications.sort_by_py .pub_ci { display: none; }
div#journals div.publications.hide_more tr.more { display: none; }

div#journals div.item { position: relative; clear: both; padding: 0 0 1.5ex 0; }
div#journals div.item h4 { margin: 0 0 3px 0; }
div#journals div.item div.list { clear: both; }
div#journals div.item div.list div.list-left { width: 32%; padding: 1px 2% 0 0; }
div#journals div.item div.list div.list-right { width: 66%; float: right; }

div#journals p.subscription-required { color:gray; margin-top: .5ex; margin-left:.075em; }


/* -----------------------------------------------------------------------
 classification
----------------------------------------------------------------------- */

div#classification div.head { position: relative; clear: both; padding: 0 0 3.0ex 0; }
div#classification div.item { position: relative; clear: both; padding: 0 0 0.5ex 0; }
div#classification div.left { float: left; width: 32%; }
div#classification div.center { float: left; width: 32%; margin: 0 2%; }
div#classification div.right { float: right; width: 32%; }
div#classification div.level0 { margin: 1.0ex 0 0 0; }
div#classification div.level1 { margin: 0.5ex 0 0 3.8em; }
div#classification div.level2 { margin: 0 0 0 7.6em; }
div#classification div.item div.code { position: absolute; z-index:1; top: 0px; left: 0px; font-weight: bold; }
div#classification div.item div.text { position: relative; padding-left: 3.8em; }
div#classification div.item div.text a:first-child { color: #000000; }
div#classification div.item div.half { position: relative; padding-left: 2.0em; }
div#classification div.item div.half a:first-child { color: #000000; }
div#classification div.overview { padding: 6.0ex 0 1.0ex 0; }


/* -----------------------------------------------------------------------
 software
----------------------------------------------------------------------- */

div#software { }


/* -----------------------------------------------------------------------
 formulae
----------------------------------------------------------------------- */

.MathJax .noError {
    border: 0px none !important;
}


/* -----------------------------------------------------------------------
 erdos
----------------------------------------------------------------------- */

div#erdos div.list {
    position: relative;
    padding: 10px 0 10px 20px;
    border-top: 1px solid #ffffff;
}
div#erdos div.list div.author {
    position: relative;
    font-size: 16.0px;
    line-height: 20.0px;
}
div#erdos div.list div.title {
    position: relative;
    font-size: 16.0px;
    font-weight: bold;
    line-height: 20.0px;
}
div#erdos div.list div.title i {
    font-style: normal;
    font-weight: normal;
}
div#erdos div.list div.title a {
    color: #000000;
}
div#erdos div.list div.source {
    position: relative;
}


/* -----------------------------------------------------------------------
 text
----------------------------------------------------------------------- */

table { table-layout: auto; border-collapse: collapse; empty-cells: show; }
table tr { vertical-align: top; }
table tr td.nowrap { white-space: nowrap; }
table tr td.first { text-align: right; }
table tr td.space { padding-left: 1.0em; }
table tr td.bigspace { padding-left: 3.0em; }
table tr td.padding { padding-right: 1.0em; }
div.row { clear: both; margin: 0; }
div.column1 { float: left; }
div.column2 { float: left; width: 48.03%; padding-left: 3.90%; }
div.column3 { float: left; width: 30.68%; padding-left: 3.90%; }
div.column4 { float: left; width: 22.05%; padding-left: 3.90%; }
div.column5 { float: left; width: 65.40%; padding-left: 3.90%; }
div.column2:first-child, div.column3:first-child, div.column4:first-child, div.column5:first-child { padding-left: 0; }


/* -----------------------------------------------------------------------
 zbjats specific
----------------------------------------------------------------------- */

  #zbjats{
    position: relative;
  }

  #zbjats::before{
    content: "";
    width: 100rem;
    height: 105px;
    background-color: white;
    position: fixed;
    top: 0;
    left: 0;
    z-index: 97;
    box-shadow: 0 5px 5px 0 #FFFFFF;
  }
  
  #zbjats code {
    display: block;
    white-space: pre;
    overflow: scroll;
    height: 600px;
    color: black;
  }
  #zbjats table ul, #zbjats table li {
    padding-left: 0;
    margin-left: 0;
    list-style-type: none;
  }
  #zbjats th {
    text-align: left;
  }
  #zbjats th:nth-child(2) {
    padding-right: 10px;
  }
  #zbjats td {
    border-top: 1px solid black;
    border-bottom: 1px solid black;
  }
  
  #zbjats table #expl{
    min-width: 250px;
  }
  




/* -----------------------------------------------------------------------
 ontop
----------------------------------------------------------------------- */

#to-top {
    display: none;
    width: 40px;
    height: 40px;
    background: url('totop.png') no-repeat scroll left top transparent;
    overflow: hidden;
    position: fixed;
    right: 10px;
    bottom: 10px;
    text-indent: -999px;
    text-decoration: none;
    border: medium none;
}
#to-top-hover {
    display: block;
    width: 40px;
    height: 40px;
    background: url('totop.png') no-repeat scroll left -40px transparent;
    overflow: hidden;
    float: left;
    opacity: 0;
}
#to-top:active, #to-top:focus {
  outline: medium none;
}

/* -----------------------------------------------------------------------
 tooltip
----------------------------------------------------------------------- */

.popover {
    z-index: 0 !important;
}

/* -----------------------------------------------------------------------
 print css
----------------------------------------------------------------------- */

@page { margin: 50px 25px 50px 75px; }

@media print {

html {
    border: none;
    margin: 0;
    padding: 0;
}
body {
    color: #000000 !important;
    margin: 0 !important;
    padding: 0 !important;
}
div#line, div#head, div#foot {
    display: none !important;
}
div#body, div#page {
    width: 100% !important;
    padding: 0 !important;
}
div#main {
    padding: 0 !important;
}
div#main div.content-fixed {
    display: none !important;
}
div#main div.content-main {
    padding: 0 !important;
}
div#main div.content-result {
    width: 100% !important;
}
div.content-filter {
    display: none !important;
}
a[href]:after {
    content: "";
}
a[href^="http"]:after {
    content: " (" attr(href) ")";
}
div.mark {
    display: none !important;
}
div#documents div.item div.functions, div#documents div.list div.functions {
    filter: alpha(opacity=100) !important;
    opacity: 1.0 !important;
}
div#documents div.functions a.matrix {
    display: none !important;
}
div#documents div.functions div.sfx {
    display: none !important;
}

}


/* -----------------------------------------------------------------------
 clear
----------------------------------------------------------------------- */

#clear {
    display: none;
    position: absolute;
    z-index: 100;
    top: 0px;
    left: 0px;
    color: #aaaaaa;
    font-size: 24.0px;
    line-height: 24.0px;
    margin: 2px;
    padding: 1px 5px;
    text-decoration: none;
}
#clear:hover {
    color: #333333;
    text-decoration: none;
    background: #ffffff;
}


/* -----------------------------------------------------------------------
 bootstrap patches
----------------------------------------------------------------------- */

textarea:focus,
input[type="text"]:focus,
input[type="password"]:focus,
input[type="datetime"]:focus,
input[type="datetime-local"]:focus,
input[type="date"]:focus,
input[type="month"]:focus,
input[type="time"]:focus,
input[type="week"]:focus,
input[type="number"]:focus,
input[type="email"]:focus,
input[type="url"]:focus,
input[type="search"]:focus,
input[type="tel"]:focus,
input[type="color"]:focus,
.uneditable-input:focus {
    border-color: rgba(127, 127, 127, 0.8);
    outline: 0;
    outline: thin dotted \9;
    -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 5px rgba(127, 127, 127, 0.6);
       -moz-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 5px rgba(127, 127, 127, 0.6);
            box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 5px rgba(127, 127, 127, 0.6);
}

.nav > li > a:hover,
.nav > li > a:focus {
    text-decoration: none;
    background-color: #ffffff;
}


.dropdown-menu > li > a:hover,
.dropdown-menu > li > a:focus,
.dropdown-submenu:hover > a, 
.dropdown-submenu:focus > a {
    color: #ffffff;
    text-decoration: none;
    text-shadow: none;
    background-color: #666666;
    background-image: -moz-linear-gradient(top, #666666, #555555);
    background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#666666), to(#555555));
    background-image: -webkit-linear-gradient(top, #666666, #555555);
    background-image: -o-linear-gradient(top, #666666, #555555);
    background-image: linear-gradient(to bottom, #666666, #555555);
    background-repeat: repeat-x;
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#666666', endColorstr='#555555', GradientType=0);
}

.dropdown-menu > .active > a,
.dropdown-menu > .active > a:hover,
.dropdown-menu > .active > a:focus {
    color: #ffffff;
    text-decoration: none;
    text-shadow: none;
    background-color: #666666;
    background-image: -moz-linear-gradient(top, #666666, #555555);
    background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#666666), to(#555555));
    background-image: -webkit-linear-gradient(top, #666666, #555555);
    background-image: -o-linear-gradient(top, #666666, #555555);
    background-image: linear-gradient(to bottom, #666666, #555555);
    background-repeat: repeat-x;
    outline: 0;
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#666666', endColorstr='#555555', GradientType=0);
}

.tooltip {
    font-size: 12.0px;
    line-height: 17.0px;
    font-weight: normal;
}
.tooltip-inner {
    max-width: 400px;
    padding: 1px 8px 2px 8px;
}

.popover {
    min-width: 267px;
}

/* -----------------------------------------------------------------------
 end
----------------------------------------------------------------------- */