html, body {
	color               : #333333;
	font-family         : verdana,arial,helvetica;
	font-size           : 90%;
	line-height         : 1.3;
}
body {
	background-color    : #ffffff;
	min-width           : 999px;
	max-width           : 1255px;
}

div#page {
	position            : relative;
}

div#top {
	position            : relative;
	clear               : both;
	height              : 92px;
	background-color    : #e7e7e7;
	background-image    : url(images/background.jpg);
	border-top          : 1px solid #bbbbbb;
	border-left         : 1px solid #bbbbbb;
	border-right        : 1px solid #bbbbbb;
}
div#top div#logo {
	position            : absolute;
	top                 : 7px;
	left                : 15px;
}
div#top div#navigation {
	position            : absolute;
	top                 : 5px;
	right               : 15px;
}
div#top div#navigation a {
	color               : #333333;
	font-weight         : bold;
	text-decoration     : none;
	padding-left        : 1.0em;
}
div#top div#navigation a:first-child {
	padding-left        : 0em;
}
div#top div#navigation a:hover, div#top div#navigation a:active {
	color               : #1a365e;
}
div#top div#claim {
	position            : absolute;
	bottom              : 5px;
	right               : 15px;
}
div#top div#config {
	position            : absolute;
	bottom              : 5px;
	left                : 105px;
}

div#line {
	position            : relative;
	clear               : both;
	height              : 3.4ex;
	background-image    : url(images/blue.png);
	background-color    : #1a365e;
	color               : #ffffff;
	border-left         : 1px solid #1a365e;
	border-right        : 1px solid #1a365e;
	margin-bottom       : 2px;
}
div#line div#path {
	position            : absolute;
	top                 : 3px;
	left                : 0px;
}
div#line div#path a {
	color               : #ffffff !important;
	text-decoration     : none;
}
div#line div#contact {
	position            : absolute;
	top                 : 3px;
	right               : 15px;
}
div#line div#contact a {
	color               : #ffffff !important;
	text-decoration     : none;
}
div#line div#contact img {
	margin              : 0px 5px 0px 10px;
}

div#query {
	position            : relative;
	clear               : both;
	height              : 6.0ex;
	background-color    : #e7e7e7;
	padding             : 0;
	margin              : 0;
	border-left         : 1px solid #bbbbbb;
	border-right        : 1px solid #bbbbbb;
	border-bottom       : 1px solid #bbbbbb;
}
div#query div#form {
	position            : relative;
	padding             : 0px 14px 0px 14px;
}
div#query div#form div#form_any {
	float               : left;
	width               : 23%;
	margin-right        : 1%;
}
div#query div#form div#form_au, div#query div#form div#form_ti, div#query div#form div#form_so {
	float               : left;
	width               : 15%;
	margin-right        : 1%;
}
div#query div#form div#form_py {
	float               : left;
	width               : 6%;
	margin-right        : 1%;
}
div#query div#form div#form_go {
	float               : left;
	width               : 4%;
	margin-right        : 0.5%;
}
div#query div#help {
	position            : absolute;
	top                 : 3px;
	right               : 15px;
	text-align          : right;
}
div#query div#help a {
	text-decoration     : none;
}
div#query img#image {
	position            : absolute;
	bottom              : -1px;
	right               : -1px;
}

div#main {
	position            : relative;
	clear               : both;
	margin-top          : 10px;
}
div#main div#content {
	position            : relative;
	clear               : both;
	margin-left         : 250px;
	margin-right        : 270px;
	min-height          : 550px;
}
div#main div#database {
	position            : relative;
	clear               : both;
	margin-right        : 270px;
	min-height          : 550px;
}
div#main div#menu {
	position            : absolute;
	top                 : 0px;
	left                : 0px;
	width               : 220px;
}
div#main div#menu a {
	display             : block;
	position            : relative;
	padding             : 2px 0px 1px 0px;
	margin              : 0px 0px 1px 10px;
	text-decoration     : none;
	color               : #333333;
	border-bottom       : 1px solid #ffffff;
}
div#main div#menu a:hover {
	color               : #1a365e;
}
div#main div#menu a.menu0:hover, div#main div#menu a.menu1:hover {
	border-bottom       : 1px solid #bbbbbb;
}
div#main div#menu a.mark {
	color               : #1a365e !important;
	font-weight         : bold;
	border-bottom       : 1px solid #bbbbbb;
}
div#main div#menu a.active {
	color               : #1a365e !important;
	font-weight         : bold;
}
div#main div#menu a img {
	position            : absolute;
	top                 : 2px;
	left                : -10px;
}
div#main div#menu ul {
	margin              : 0;
	padding             : 0;
}
div#main div#menu ul li {
	list-style          : none !important;
}
div#main div#menu ul li ul {
	padding-left        : 10px;
}
div#main div#menu ul li ul li {
}
div#main div#menu ul li ul li ul {
	padding-left        : 10px;
}
div#main div#menu ul li ul li ul li {
}
div#main div#menu ul li ul li ul li ul {
	padding-left        : 10px;
}
div#main div#menu ul li ul li ul li ul li {
}
div#main div#editor {
	position            : absolute;
	bottom              : 0px;
	left                : 0px;
	width               : 220px;
	text-align          : right;
}
div#main div#margin {
	position            : absolute;
	top                 : 0px;
	right               : 0px;
	width               : 250px;
}

div#main div#content div.text, div#main div#database div.text {
	padding             : 0px 0px 10px 0px;
}

div#bottom {
	position            : relative;
	clear               : both;
	height              : 4.0ex;
	margin-top          : 10px;
	border-top          : 1px solid #bbbbbb;
}
div#bottom div#copyright {
	position            : absolute;
	top                 : 3px;
	left                : 0px;
}
div#bottom div#meta {
	position            : absolute;
	top                 : 3px;
	right               : 0px;
}
div#bottom div#meta a {
	text-decoration     : none;
}

h1, h2, h3, h4 {
	padding             : 0;
	margin              : 0;
}
h1 {
	font-size           : 1.5em;
	font-weight         : normal;
	padding-bottom      : 1ex;
}
h2 {
	font-size           : 1.1em;
	font-weight         : bold;
	padding-bottom      : 0.75ex;
}
h3 {
	font-size           : 1.0em;
	font-weight         : bold;
	padding-bottom      : 0.5ex;
}
h4 {
	font-size           : 1.0em;
	font-weight         : bold;
	color               : #1a365e;
	padding-bottom      : 0.5ex;
}

div#search {
	position            : relative;
	padding-bottom      : 10px;
}
div#search a {
	text-decoration     : none;
}
div#search a:hover, div#search a:active {
	text-decoration     : underline;
}
div#search div.form {
	position            : relative;
	clear               : both;
	background-color    : #e6e6e6;
	padding             : 3px 6px 6px 6px;
	border              : 1px solid #bbbbbb;
}
div#search div.form img.top {
	position            : absolute;
	top                 : -1px;
	right               : -1px;
}
div#search div.form img.left {
	position            : absolute;
	bottom              : -1px;
	left                : -1px;
}
div#search div.form img.right {
	position            : absolute;
	bottom              : -1px;
	right               : -1px;
}
div#search div.form div.query {
	position            : relative;
	padding             : 0px 60px 0px 0px;
}
div#search div.form div.go {
	position            : absolute;
	top                 : 3px;
	right               : 6px;
}
div#search div.form div.help {
	position            : relative;
}
div#search div.form div.reset {
	position            : absolute;
	bottom              : 6px;
	right               : 64px;
}
div#search div.form div.line {
	position            : relative;
}
div#search div.form div.line div.field {
	position            : absolute;
	top                 : 0px;
	left                : 0px;
	width               : 150px;
}
div#search div.form div.line div.value {
	position            : relative;
	padding             : 0px 82px 3px 160px;
}
div#search div.form div.line div.operator {
	position            : absolute;
	top                 : 0px;
	right               : 0px;
	width               : 70px;
}
div#search div.form div.line div.year {
	position            : relative;
	padding             : 3px 0px 0px 0px;
}
div#search div.form div.line div.year div.label {
	float               : left;
	width               : 150px;
	padding             : 0px 10px 0px 0px;
	text-align          : right;
}
div#search div.form div.line div.year div.from {
	float               : left;
	width               : 75px;
}
div#search div.form div.line div.year div.dash {
	float               : left;
	padding             : 0px 5px 0px 7px;
	text-align          : center;
}
div#search div.form div.line div.year div.to {
	float               : left;
	width               : 75px;
}
div#search div.form div.line div.doctype {
	position            : absolute;
	top                 : 0px;
	right               : 67px;
	padding             : 3px 0px 0px 0px;
}
div#search div.form div.line div.doctype div.label {
	float               : left;
	padding             : 0px 10px 0px 0px;
}
div#search div.form div.line div.doctype div.check {
	float               : left;
	padding             : 1px 5px 0px 0px;
}
div#search div.form div.line div.doctype div.name {
	float               : left;
	padding             : 0px 15px 0px 0px;
}
div#search div.form div.function {
	position            : relative;
	padding             : 3px 0px 0px 0px;
}
div#search div.form div.function div.go {
	position            : absolute;
	top                 : -3px;
	right               : 0px;
}
div#search div.form div.function div.help {
	position            : relative;
}
div#search div.form div.function div.reset {
	position            : absolute;
	bottom              : 0px;
	right               : 82px;
}

div.result {
	position            : relative;
	clear               : both;
}
div.result div.top {
	position            : relative;
	clear               : both;
	padding             : 0px 0px 10px 0px;
	border-bottom       : 1px solid #bbbbbb;
}
div.result div.bottom {
	position            : relative;
	clear               : both;
	padding             : 10px 0px 10px 0px;
}
div.result div.item, div.result div.complete {
	position            : relative;
	clear               : both;
	padding             : 7px 0px 10px 50px;
	border-bottom       : 1px solid #bbbbbb;
}
div.result div.complete {
	padding             : 7px 0px 10px 0px;
}
div.result div.item div.sfx {
	float               : right;
	padding-top         : 3px;
}
div.result div.item div.mark {
	position            : absolute;
	left                : 0px;
	top                 : 10px;
}
div.result div.function {
	position            : relative;
	clear               : both;
	padding-top         : 10px;
}
div.result div.review {
	padding             : 10px 0px 10px 0px;
	margin              : 5px 0px 5px 0px;
	border-top          : 1px dotted #bbbbbb;
	border-bottom       : 1px dotted #bbbbbb;
}
div.result div.scan {
	padding             : 10px 0px 10px 0px;
}
div.result div.msc, div.result div.keyword, div.result div.reference, div.result div.citation {
	padding             : 0px 0px 5px 0px;
}
div.result dl {
	padding             : 0px;
	margin              : 0px;
}
div.result dl dt {
	clear               : both;
	float               : left;
        width               : 5em;
}
div.result dl dd {
	margin-left         : 5em;
}
div.result dl.msc dt {
	position            : relative;
	top                 : 1px;
        width               : 5em;
	font-family         : dejavu sans mono, lucida typewriter, lucida console, monaco, monospace;
	font-size           : 1.0em;
}
div.result dl.msc dd {
	margin-left         : 5em;
}
div.result dl.reference dt {
        width               : 3em;
}
div.result dl.reference dd {
	margin-left         : 3em;
}

div.list {
	position            : relative;
	clear               : both;
}
div.list div.top {
	position            : relative;
	clear               : both;
	padding             : 0px 0px 10px 0px;
	border-bottom       : 1px solid #bbbbbb;
}
div.list div.bottom {
	position            : relative;
	clear               : both;
	padding             : 10px 0px 10px 0px;
}
div.list div.item {
	position            : relative;
	clear               : both;
	padding             : 7px 0px 10px 50px;
	border-bottom       : 1px solid #bbbbbb;
}
div.list div.item div.count {
	position            : absolute;
	left                : 0px;
	top                 : 7px;
}
div.list div.item div.name {
	position            : relative;
	float               : left;
	padding             : 0px 0px 5px 0px;
}
div.list div.item div.table {
	position            : relative;
	padding             : 0px 0px 2px 8em;
}
div.list div.item div.table div.title {
	position            : absolute;
	left                : 0px;
	top                 : 0px;
	width               : 8em;
}

div#sitemap {
	position            : relative;
}
div#sitemap a {
	color               : #333333;
	text-decoration     : none;
}
div#sitemap a:hover, div#sitemap a:active {
	color               : #1a365e;
}
div#sitemap img {
	margin-right        : 5px;
}
div.sitemap0, div.sitemap1, div.sitemap2, div.sitemap3, div.sitemap4 {
	padding             : 0;
	margin              : 0;
}
div.sitemap0 {
	padding             : 0;
}
div.sitemap1 {
	padding             : 1ex 0px 0px 0px;
}
div.sitemap2 {
	padding             : 0.5ex 0px 0px 30px;
}
div.sitemap3 {
	padding             : 0.5ex 0px 0px 60px;
}
div.sitemap4 {
	padding             : 0.5ex 0px 0px 90px;
}

div#logon {
	margin-bottom       : 10px;
}
div#logon a {
	text-decoration     : none;
}
div#logon a:hover, div#logon a:active {
	text-decoration     : underline;
}
div#logon div.title {
	position            : relative;
	clear               : both;
	color               : #ffffff;
	font-weight         : bold;
	background-color    : #500000;
	background-image    : url(images/box/red.png);
	padding             : 2px 3px 4px 10px;
	border-top          : 1px solid #2f0000;
	border-left         : 1px solid #2f0000;
	border-right        : 1px solid #2f0000;
	margin-bottom       : 2px;
}
div#logon img.title {
	position            : absolute;
	top                 : -1px;
	right               : -1px;
}
div#logon div.content {
	position            : relative;
	clear               : both;
	background-color    : #e6e6e6;
	padding             : 3px 6px 6px 6px;
	border-left         : 1px solid #bbbbbb;
	border-right        : 1px solid #bbbbbb;
	border-bottom       : 1px solid #bbbbbb;
}
div#logon div.content img.left {
	position            : absolute;
	bottom              : -1px;
	left                : -1px;
}
div#logon div.content img.right {
	position            : absolute;
	bottom              : -1px;
	right               : -1px;
}
div#logon div.content div.username {
	position            : relative;
	float               : left;
	width               : 112px;
}
div#logon div.content div.password {
	position            : relative;
	float               : right;
	width               : 112px;
}
div#logon div.content div.submit {
	position            : relative;
	float               : right;
	padding             : 5px 0px 5px 0px;
}
div#logon div.content div.link {
	padding-top         : 7px;
}
div#logon div.content div.text {
	padding-top         : 5px;
}
div#logon div.content div.account {
	padding-bottom      : 5px;
}

div#history {
	margin-bottom       : 10px;
}
div#history a {
	text-decoration     : none;
}
div#history a:hover, div#history a:active {
	text-decoration     : underline;
}
div#history div.title {
	position            : relative;
	clear               : both;
	color               : #ffffff;
	font-weight         : bold;
	background-color    : #242424;
	background-image    : url(images/box/grey.png);
	padding             : 2px 3px 4px 10px;
	border-top          : 1px solid #0c0c0c;
	border-left         : 1px solid #0c0c0c;
	border-right        : 1px solid #0c0c0c;
	margin-bottom       : 2px;
}
div#history img.title {
	position            : absolute;
	top                 : -1px;
	right               : -1px;
}
div#history div.content {
	position            : relative;
	clear               : both;
	background-color    : #e6e6e6;
	padding             : 3px 3px 6px 6px;
	border-left         : 1px solid #bbbbbb;
	border-right        : 1px solid #bbbbbb;
	border-bottom       : 1px solid #bbbbbb;
}
div#history div.content img.left {
	position            : absolute;
	bottom              : -1px;
	left                : -1px;
}
div#history div.content img.right {
	position            : absolute;
	bottom              : -1px;
	right               : -1px;
}
div#history div.content div.submit {
	position            : relative;
	float               : right;
	padding             : 5px 3px 5px 0px;
}
div#history div.content div.history_list {
	position            : relative;
	padding-right       : 3px;
	min-height          : 150px;
	max-height          : 350px;
	overflow            : auto;
}
div#history div.content div.history_line {
	position            : relative;
	clear               : both;
	border-bottom       : 1px dotted #bbbbbb;
}
div#history div.content div.history_number {
	position            : absolute;
	top                 : 1px;
	left                : 0px;
}
div#history div.content div.history_count {
	position            : relative;
	float               : right;
}
div#history div.content div.history_query {
	position            : relative;
	padding             : 1px 0px 3px 25px;
}

div#configuration {
	margin-bottom       : 10px;
}
div#configuration a {
	text-decoration     : none;
}
div#configuration a:hover, div#configuration a:active {
	text-decoration     : underline;
}
div#configuration div.title {
	position            : relative;
	clear               : both;
	color               : #ffffff;
	font-weight         : bold;
	background-color    : #002248;
	background-image    : url(images/box/grey.png);
	padding             : 2px 3px 4px 10px;
	border-top          : 1px solid #0c0c0c;
	border-left         : 1px solid #0c0c0c;
	border-right        : 1px solid #0c0c0c;
	margin-bottom       : 2px;
}
div#configuration img.title {
	position            : absolute;
	top                 : -1px;
	right               : -1px;
}
div#configuration div.content {
	position            : relative;
	clear               : both;
	background-color    : #e6e6e6;
	padding             : 3px 3px 6px 6px;
	border-left         : 1px solid #bbbbbb;
	border-right        : 1px solid #bbbbbb;
	border-bottom       : 1px solid #bbbbbb;
}
div#configuration div.content img.left {
	position            : absolute;
	bottom              : -1px;
	left                : -1px;
}
div#configuration div.content img.right {
	position            : absolute;
	bottom              : -1px;
	right               : -1px;
}

div#arxiv {
	margin-bottom       : 10px;
}
div#arxiv a {
	text-decoration     : none;
}
div#arxiv a:hover, div#arxiv a:active {
	text-decoration     : underline;
}
div#arxiv div.title {
	position            : relative;
	clear               : both;
	color               : #ffffff;
	font-weight         : bold;
	background-color    : #414141;
	background-image    : url(images/box/grey.png);
	padding             : 2px 3px 4px 10px;
	border-top          : 1px solid #0c0c0c;
	border-left         : 1px solid #0c0c0c;
	border-right        : 1px solid #0c0c0c;
	margin-bottom       : 2px;
}
div#arxiv img.title {
	position            : absolute;
	top                 : -1px;
	right               : -1px;
}
div#arxiv div.content {
	position            : relative;
	clear               : both;
	background-color    : #e6e6e6;
	padding             : 3px 3px 6px 6px;
	border-left         : 1px solid #bbbbbb;
	border-right        : 1px solid #bbbbbb;
	border-bottom       : 1px solid #bbbbbb;
}
div#arxiv div.content img.left {
	position            : absolute;
	bottom              : -1px;
	left                : -1px;
}
div#arxiv div.content img.right {
	position            : absolute;
	bottom              : -1px;
	right               : -1px;
}
div#arxiv div.content div.link {
	float               : right;
	padding             : 5px 2px 5px 0px;
}

div#terms {
	margin-bottom       : 10px;
}
div#terms a {
	text-decoration     : none;
}
div#terms a:hover, div#terms a:active {
	text-decoration     : underline;
}
div#terms div.title {
	position            : relative;
	clear               : both;
	color               : #ffffff;
	font-weight         : bold;
	background-color    : #002248;
	background-image    : url(images/box/blue.png);
	padding             : 2px 3px 4px 10px;
	border-top          : 1px solid #00132f;
	border-left         : 1px solid #00132f;
	border-right        : 1px solid #00132f;
	margin-bottom       : 2px;
}
div#terms img.title {
	position            : absolute;
	top                 : -1px;
	right               : -1px;
}
div#terms div.content {
	position            : relative;
	clear               : both;
	background-color    : #e6e6e6;
	padding             : 3px 3px 6px 6px;
	border-left         : 1px solid #bbbbbb;
	border-right        : 1px solid #bbbbbb;
	border-bottom       : 1px solid #bbbbbb;
}
div#terms div.content img.left {
	position            : absolute;
	bottom              : -1px;
	left                : -1px;
}
div#terms div.content img.right {
	position            : absolute;
	bottom              : -1px;
	right               : -1px;
}

div#subscription {
	margin-bottom       : 10px;
}
div#subscription a {
	text-decoration     : none;
}
div#subscription a:hover, div#subscription a:active {
	text-decoration     : underline;
}
div#subscription div.title {
	position            : relative;
	clear               : both;
	color               : #ffffff;
	font-weight         : bold;
	background-color    : #ffd107;
	background-image    : url(images/box/blue.png);
	padding             : 2px 3px 4px 10px;
	border-top          : 1px solid #f6bb07;
	border-left         : 1px solid #f6bb07;
	border-right        : 1px solid #f6bb07;
	margin-bottom       : 2px;
}
div#subscription img.title {
	position            : absolute;
	top                 : -1px;
	right               : -1px;
}
div#subscription div.content {
	position            : relative;
	clear               : both;
	background-color    : #e6e6e6;
	padding             : 3px 3px 6px 6px;
	border-left         : 1px solid #bbbbbb;
	border-right        : 1px solid #bbbbbb;
	border-bottom       : 1px solid #bbbbbb;
}
div#subscription div.content img.left {
	position            : absolute;
	bottom              : -1px;
	left                : -1px;
}
div#subscription div.content img.right {
	position            : absolute;
	bottom              : -1px;
	right               : -1px;
}

div#box {
	margin-bottom       : 10px;
}
div#box a {
	text-decoration     : none;
}
div#box a:hover, div#box a:active {
	text-decoration     : underline;
}
div#box div.title {
	position            : relative;
	clear               : both;
	color               : #ffffff;
	font-weight         : bold;
	background-color    : #414141;
	background-image    : url(images/box/blue.png);
	padding             : 2px 3px 4px 10px;
	border-top          : 1px solid #2e2e2e;
	border-left         : 1px solid #2e2e2e;
	border-right        : 1px solid #2e2e2e;
	margin-bottom       : 2px;
}
div#box img.title {
	position            : absolute;
	top                 : -1px;
	right               : -1px;
}
div#box div.content {
	position            : relative;
	clear               : both;
	background-color    : #e6e6e6;
	padding             : 3px 3px 6px 6px;
	border-left         : 1px solid #bbbbbb;
	border-right        : 1px solid #bbbbbb;
	border-bottom       : 1px solid #bbbbbb;
}
div#box div.content img.left {
	position            : absolute;
	bottom              : -1px;
	left                : -1px;
}
div#box div.content img.right {
	position            : absolute;
	bottom              : -1px;
	right               : -1px;
}

img.flag {
	border              : 1px solid #999999;
}

form.form, fieldset.form {
	margin              : 0px;
	padding             : 0px;
}
label.form {
	padding-left        : 1px;
}
input.text, input[type=text], input[type=password], input[type=submit], input[type=reset], textarea, select {
	border              : 1px solid #999999 !important;
}
input.text, input[type=text], textarea, select {
	width               : 100%;
}
input[type=submit], input[type=reset], button {
	border              : 1px solid #999999 !important;
	background          : #cccccc;
	color               : #333333;
}
input[type=checkbox], input[type=radio] {
	margin              : 0px;
}

span.mark {
	padding-left        : 10px;
}
input.mark {
	background          : #e7e7e7;
	font-size           : 87.5%;
	text-decoration     : none;
	color               : #1a365e;
}
input.mark:hover {
	background          : #ffffff;
}

a.meta {
	text-decoration     : none;
}
a.meta:hover, a.meta:active {
	text-decoration     : underline;
}
a.link, a.button {
	padding             : 1px;
	padding-left        : 5px;
	padding-right       : 5px;
	background          : #e7e7e7;
	border              : 1px solid #aaaaaa;
	font-size           : 87.5%;
	text-decoration     : none;
	color               : #1a365e;
}
a.link {
	background          : #ffffff;
	color               : #1a365e;
}
a.free {
	background          : #ffffff;
	color               : #336633;
}
a:hover.link, a:active.link, a:hover.button, a:active.button {
	background          : #ffffff;
}