* { zoom: 0; }

img { border: 0; }

body {
    margin: 0px;
    padding: 0px;
    font-family: sans-serif;
    color: black;
    background-color: white;
}
td.title {
    color: ;
}
h2.link > a {
    color: ;
}
.katex {
    font-size: 1em !important;
}
/* TODO: where is content?*/
#content > h1
{
    font-size: 130%;
    font-weight: bold;
    color: black;
    font-family: sans-serif;
    text-decoration: none;
    margin: 15px 0;
}
#content > h1:first-child,
#content > h2:first-child {
    margin-top: 0px;
}

#content > h2
{
    font-family: sans-serif;
    text-decoration: none;
    font-size: 120%;
    text-align: left;
    font-weight: bold;
    color: #1565C0;
    padding: 5px 0 5px 0;
    margin: 15px 0 10px 0;
}
#content > h3, td.table_h2 {
    font-family: sans-serif;
    text-decoration: none;
    font-size: 110%;
    text-align: left;
    font-weight: bold;
    padding: 5px 0 5px 0;
    color: #1565C0;
    margin: 10px 0 5px 0;
}

#content > h2 a[knowl], #content > h3 a[knowl] {
    color: #1565C0;
}

#content > h2.inline,
#content > h3.inline {
    font-weight: normal;
    display: inline;
    padding-right: 10px;
    margin: 5px 0 10px 0;
}

#footer {
    clear: both;
    margin-top: 40px;
    background-color: #90CAF9;
    border-top: 2px solid #0D47A1;
    padding: 25px 10px;
    text-align: center;
    font-size: 75%;
    color: black;
}

#content > ul {
    margin-top: 10px;
    margin-bottom: 10px;
}

/* Body links, sidebar links, and sidebar header text. */
a {
    color: #1C61A6;
    text-decoration: none;
    font-family: sans-serif;
}

a[knowl] {
    color: #1C61A6;
}

a.inactive {
    color: black;
}

a.inactive:hover {
    background: inherit;
}

table tbody tr.trivial {
    color: #999;
}

table tbody tr.trivial a {
    color: #999;
}
table tbody tr.trivial a:hover {
    color: inherit;
    background: inherit;
}

#content a {
}
#content .announce {
  font-size: 1.2em;
  padding: 10px 20px;
  margin: 20px 0px;
  border-left: 3px solid #1565C0;
  background: #E3F2FD;
  line-height: 1.5em;
}
#content .announce.red {
    border-left: 3px solid red;
    background: #fdd;
}

/*
#search-topright {
  display: inline;
}
#search-topright input {
  font-size: 75%;
  border: 1px solid ;
  padding: 1px;
  background:  ;
  position: relative;
  top: -1px;
}
*/

/* icon in front of external links */
#content a[target="_blank"]:before {
  content: url("static/images/url-ext.gif");
  padding-right: 2px;
}

body.checklist {
 font-size: 70%;
}

span.disable-links {
  pointer-events: none;
}

a:visited { color: #1C61A6; }
a:hover {
    color: black;
    background: #E3F2FD;
}

#logo a, #logo a:hover, body.knowl #logo a:hover {
  background: none;
}

#header {
  background: #90CAF9;
  box-shadow: 0px 5px 5px #0D47A1;
}

body.knowl #header {
  background: ;
  box-shadow: 0px 5px 5px #0D47A1;
}

#header #logo {
    display: inline-block;
    margin: 0px;
    padding-top: 8px;
    padding-left: 40px;
}
#header #logo img {
    max-height: 70px;
}
#header .right {
    margin-top: 0px;
    display: inline-block;
    padding-left: 48px;
    vertical-align: top;
    width: calc(100% - 210px);
}
#header #title {
    font-size: 180%;
    font-weight: bold;
    font-family: sans-serif;
    padding-top: 25px;
    color: black;
}

#header #title .katex{
    font-weight: bold !important;
}

#header .bread {
    font-family: sans-serif;
    font-size: 90%;
    display: inline-block;
}

#header .bread a:first-child {
    font-size: 150%;
}

#header .bread a {
    color: black;
}

#header .topright {
  text-align: right;
  white-space:nowrap;
  font-family: sans-serif;
  font-size: 90%;
  padding-top: 8px;
  padding-right: 5px;
  display: inline-block;
  float: right;
  clear: both;
  color: black;
}
#header .topright a {
    color: black;
}
#header .topright #communication-wrapper {
  display: none;
  padding: 4px;
}
#header .undertopright {
  text-align: right;
  white-space:nowrap;
  font-family: sans-serif;
  float: right;
  color: black;
}
#header .undertopright a {
    color: black;
}
#header .undertopright:first-child {
    margin-top: 0;
}

#header #navi {
  white-space: nowrap;
  text-align: right;
  color: black;
  font-family: sans-serif;
  font-size: 90%;
  padding: 2px 5px;
  position: absolute;
  bottom: 0px;
  right: 0px;
  z-index: 5;
}

/* TODO: what? */
#flashes p {
  border-left: 15px solid #CDCDCD;
  padding: 5px;
  background: #F5F5F5;
}

#flashes p.error {
  margin: 15px 0;
  font-size: 95%;
  border: 0;
  border-left: 15px solid #fdd;
  background: #fee;
}

#main {
  margin:  0px 0px 0px 200px;
  padding: 0px 0px 0px 10px;
  min-height: 700px;
}

.debug {
    background: #FF9;
    font-style: italic;
}

body > .debug {
    margin: 20px;
    padding: 2px;
}


/*These are the right hand side properties and sidebar stuffs.*/
#properties {
    z-index: 99;
    font-size: 85%;
    font-family: sans-serif;
    float: right;
    clear: right;
    margin: 10px 0px 15px 15px;
    position: relative;
    border: 1px solid #474;
    border: 0;
    padding: 0px;
}
.properties-body div, .properties-body p {
  padding: 5px;
}
.properties-body h1, .properties-body h2 {
    color: black;
    padding: 5px;
    margin: 0;
    margin-bottom: 0;
    background: #90CAF9;
}
.properties-body h1 {
    font-size: 120%;
}
.properties-body h2 {
    font-size: 110%;
    margin-top: 10px;
}
.properties-body h2:first-child { margin-top: 0px; }
.properties-body table th,
.properties-body table td {
  padding: 2px 10px;
}
.properties-body table tr:last-child td {
  padding-bottom: 7px;
}
.properties-body table tr:first-child td {
  padding-top: 7px;
}
.properties-body .label {
  font-weight: bold;
}
.properties-body ul {
  margin: 0px;
  padding: 0px;
}

.properties-body ul:last-child li:last-child a {
  border-bottom-left-radius: 10px;
}
.properties-body li {
  display: block;
  padding: 5px 0 0 7px;
  margin: 0;
}
.properties-body li:first-child {
  padding-top: 7px;
}
.properties-body li:last-child {
  padding-bottom: 5px;
}
.properties-body li a {
 display: block;
/*
 padding: 5px;
*/
}

.properties-body {
  margin: 0px;
  padding: 0px;
  background: #E3F2FD;
  min-width: 200px;
  border-bottom-left-radius: 10px;
  max-height: 430px; /* 21 items with padding: 22 + 21*19 + 9 */
  overflow-y: auto; /* scrollbar if we overflow */
}
.properties-header {
  border-top-left-radius: 10px;
  margin: 0;
  margin-top: 10px;
  padding: 5px 9px;
  color: black;
  background: #90CAF9;
  font-size: 14px;
  cursor: pointer;
  padding-right: 30px;
}
#properties-collapser {
  cursor: pointer;
  color: black;
  font-size: 19px;
  font-weight: bold;
  text-align: center;
  border: 1px solid ;
  width: 20px;
  height: 17px;
  position: absolute;
  top:   12px;
  right: 3px;
  border-radius: 20px;
}

#content {
  margin-top: 20px;
  font-size: 95%;
  line-height: 135%;
  padding-right: 10px;
}

#content blockquote
{
}


#sidebar {
  float: left;
  width: 200px;
  margin: 20px 0px 0px 0px;
  font-family: sans-serif;
  font-size: 85%;
  color: black;
  background: #E3F2FD;
  margin-bottom: 100px;
  border-top-right-radius: 10px;
  border-bottom-right-radius: 10px;
}
#sidebar .list li {
  padding: 5px;
}
#sidebar .list a {
  display: inline;
  padding: 5px;
}
#sidebar h2.knowl {
  background: #CDCDCD;
}
#sidebar h2.knowl a {
  color: #1565C0;
}
#sidebar h2.knowl a:hover {
  background: black;
}

#sidebar h2 {
    font-family: sans-serif;
    font-size: 100%;
    background-color: #90CAF9;/*sidebar tabs*/
    color: black;
    padding: 5px;
    margin: 15px 0 0 0;
}
#sidebar h2:first-child {
  margin-top: 0;
}

#sidebar ul:first-child a:first-child,
#sidebar h2:first-child a:first-child,
#sidebar h2:first-child {
  margin: 0;
  border-top-right-radius: 10px;
}
#sidebar ul:last-child li:last-child,
#sidebar ul:last-child li:last-child a {
  border-bottom-right-radius: 10px;
}
#sidebar ul {
    margin: 0px;
    padding: 0px;
    list-style-type: none;
}
#sidebar ul li {
    display: block;
    margin: 0px;
    padding: 0px;
}
#sidebar a:hover {
    background: white;
}
#sidebar a {
    color: #1565C0; /* sets header and body sidebar links.*/
    display: block;
}
#sidebar li a {
    color: black; /* sets the text below Data */
    background: #E3F2FD;
  padding: 5px;
}
#sidebar h2 a {
    color: #0D47A1; /* sets sidebar header links*/
    padding: 5px;
}
#sidebar h2 a:hover {
    background: #0D47A1;
    color: white;
}
#sidebar h2.link {
  padding: 0px;
}

/* highlighting menu entries (if their respective blueprint overwirtes the body_class variable!) */
body.mwf #sidebar a.mwf { background: #90CAF9; }
body.cmf #sidebar a.cmf { background: #90CAF9; }
body.knowl #sidebar a.knowl { background: #66d; }
body.local_fields #sidebar a.local_fields { background:  #90CAF9; }
body.intro #sidebar a.intro { background: #90CAF9; }


.visible {
    visibility: visible;
}

.hidden {
    visibility: hidden;
    height: 0px;
}

.code {
    font-family: monospace;
    margin: 2px;
    margin-right: 20px;
}

.nodisplay {
    display: None;
}
/*TODO: where do the following show up?*/
.formexample {
   font-size: 80%;
   font-style: italic;
   color: #999;
}

.errmsg {
   font-size: 80%;
   font-style: bold;
   color: red;
}

td.forminfo {
   font-size: 80%;
   font-style: italic;
   color: #999;
   vertical-align: top;
}

input, textarea {
  border: 2px solid #0D47A1;
  font-size: 110%;
  padding: 3px;
  border-radius: 5px;
}
/* TODO: above? */

button, select {
  padding: 3px 6px;
  border-radius: 4px;
  cursor: pointer;
  border: 2px solid #0D47A1;
  min-width: 75px;
}

button {
   background: #90CAF9;
}

select {
   background: #E3F2FD;
}

body.knowl form button,
body.knowl form select {
  border: 2px solid #CDCDCD;
  background: #CDCDCD;
}
body.knowl form textarea,
body.knowl form input {
    border: 2px solid #CDCDCD;
}

form button:hover,
form select:hover {
    background:    #90CAF9;
    border: 2px solid #0D47A1;
}

button.inactive {
    background: #eee;
    border: 2px solid #fdd;
}

button.inactive:hover {
    background: #eee;
    border: 2px solid #fdd;
}

body.knowl form button:hover,
body.knowl form select:hover {
    background:    #EDEDED;
    border: 2px solid #CDCDCD;
}

form table td.button {
    padding-top: 7px
}

table {
    border: 0;
    border-collapse:collapse;
}

table th {
  color: #1565C0;
  padding-bottom: 5px;
}

table th, table td {
  padding-left:  10px;
  padding-right: 10px;
}

table.newforms {
/* to put a table after the properties box */
    clear: right;
}

table.ntdata .knowl-header a,
table.ntdata .knowl-footer a,
table.ntdata a.knowl-link,
table.ntdata a[knowl],
table a.knowl-link,
table a[knowl] {
  display: inline;
  padding: 0;
}

table.ntdata a {
  display: block;
}

table.chardata a {
  display: inline;
}

table td.top {
  vertical-align:top;
}
table.ntdata td {
  white-space: nowrap;
  padding-top: 3px;
  padding-bottom: 3px;
  padding-right: 7px;
  padding-left: 7px;
}

table a:hover {
    background: #90CAF9;
}



table td.spacing {
  height: 20px;
}


table.ntdata {
  width: auto;
  border: 3px;
  margin-top: 15px;
  margin-bottom: 15px;
}
table.ntdata thead th {
  background: white;
}
table.ntdata > thead > tr:last-child {
  border-bottom: 2px solid #0D47A1;
}
table.ntdata > thead > tr.bottomlined {
  border-bottom: 2px solid #0D47A1;
}

table.ntdata th {
  text-align: left;
  padding-right: 7px;
  padding-left: 7px;
}

table.ntdata > tr.odd,
table.ntdata > tbody > tr.odd,
table.ntdata > thead > tr.odd,
table.ntdata > tr:nth-child(odd),
table.ntdata > tbody > tr:nth-child(odd),
table.ntdata > thead > tr:nth-child(odd),
table.ntdata > tr:first-child
table.ntdata > tbody > tr:first-child
table.ntdata > thead > tr:first-child {
    background: white;
}

table.ntdata > tbody > tr:last-child {
    border-bottom:  2px solid #0D47A1;
}

table.ntdata > tr.even,
table.ntdata > tbody > tr.even,
table.ntdata > thead > tr.even,
table.ntdata > tr:nth-child(even),
table.ntdata > tbody > tr:nth-child(even),
table.ntdata > thead > tr:nth-child(even) {
    background: #E3F2FD;
}
table.ntdata tr.toggle { font-size: 80%; text-align: left; }
table.ntdata tr.toggle:nth-child(2n) { 
    background: white;
}
table.ntdata tr.toggle a:hover {
  background: white;
}

table.ntdata tr.line {
    border-bottom: 1px dotted #999;
}
table.ntdata tr.endsection {
    border-bottom: 1px solid #0D47A1;
}

table.right_align_table td {
  text-align: right;
}




table.number_table td
{
text-align:right;
border:0px;
cellpadding:3px;

}


table.number_table {border-collapse:collapse;}

table.number_table tr:nth-child(even) {
    background: #E3F2FD;
}

table.number_table thead th {
  border-bottom: 2px solid #0D47A1;
}

table.number_table thead th:first-child{
border-right: 2px solid #0D47A1;
}

table.number_table tbody th  {
  border-right: 2px solid #0D47A1;
}


/* TODO: where? */
div.literature {
    margin-top: 10px;
    font-size: 90%;
    color: black;
}

div.where {
    margin: 10px 0 10px 0;
}

.emph {
    font-style: italic;
}

.redhighlight {
    color: #999;
}

.bluehighlight {
  color: blue;
}

.positivezero {
    color: black;
}


.highlight {
  /* text-decoration: underline; */
  font-weight: bold;
}


/** page wide defs for knowls, the *[knowl] is a selector for
 *  all elements, that have a knowl attribute set to any value */
table .knowl-link {
  display: inline;
  border-bottom: 1px dotted #1565C0;
  border-radius: 0px;
  padding: 1px;
}
.knowl-bar {
  white-space: nowrap;
  background: #F5F5F5;
  padding: 5px 10px;
  margin-bottom: 5px;
  border-bottom: 1px solid #CDCDCD;
  border-top-left-radius: 10px;
}
.knowl-bar button,
.knowl-bar input,
.knowl-bar form {
  font-size: small;
  display: inline;
  margin: 0px 2px;
}
#knowl-search input {
  font-size: small;
  background: #F5F5F5;
}
.knowl-bar a {
  padding: 2px 5px;
}
.knowl-editmode-sep {
  padding: 5px;
  margin: 30px 0;
  border-bottom: 1px solid #CDCDCD;
  background: #F5F5F5;
  color: #1565C0;
  font-weight: bold;
}
.knowl-inc-edit {
  margin-bottom: 10px;
  border-bottom: 2px solid #CDCDCD;
  font-size: x-small;
  text-align: right;
  line-height: 100%;
}
.knowl-inc-edit a {
  padding: 3px 5px 0px 5px;
  background: #D3D6FF;
  border-top-left-radius: 5px;
}
.knowl {
  padding: 0;
}
/* knowl-index is the big table on the main knowledge page */
#knowl-index td div > a {
  display: block;
  padding: 0px;
  position: absolute;
  top: 12px;
}
#knowl-index td div > span {
  font-size: xx-small;
  color: #999;
  position: absolute;
  top: 2px;
  line-height: 1em;
}
#knowl-index td div {
  position: relative;
  display: inline;
  width: 170px;
  height: 70px;
  float: left;
  min-height: 4em;
  overflow: hidden;
  padding: 2px;
  margin: 1px;
  border-radius: 2px;
}
#knowl-index td div:hover {
  background: #EDEDED;
  cursor: pointer;
}
#knowl-index td {
  padding: 0;
}
#knowl-index tr td:first-child {
  width: 50px;
  vertical-align: top;
  text-align: center;
  font-size: x-large;
  color: #1565C0;
  padding-top: 12px;
}
body.knowl table.ntdata thead tr {
  background: #F5F5F5;
  border-bottom: 2px solid #1565C0;
}
body.knowl table.ntdata tr:nth-child(odd) {
 background: #F5F5F5;
}
body.knowl table.ntdata tr:nth-child(even) {
    background: white;
}


table.mfdata {
  width: auto;
  border: 0;
  margin-top: 15px;
  margin-bottom: 15px;
}
table.mfdata thead tr {
  border-bottom: 2px solid #0D47A1;
}

table.mfdata td {
    vertical-align: middle;
}

table.mfdata tr.oddrow {
    background: #E3F2FD;
}
table.mfdata tr.evenrow {
    background: white;
}

table.dimgrid thead tr {
    background: #E3F2FD;
    border-bottom: 2px solid #0D47A1;
}
table.dimgrid thead tr th.blank {
    background: white;
    border-bottom: 2px solid #E3F2FD ;
}
table.dimgrid tbody tr th.left {
    border-right: 2px solid #0D47A1;
    background: #E3F2FD;
}

table.ntdata th.left {
    border-right: 2px solid #0D47A1;
    background: #E3F2FD;
    border-bottom: 0;
    text-align: center;
}

table.ntdata th.weight {
  text-align: center;
  background: #E3F2FD;
  border-bottom: 2px solid #0D47A1;
  border-left: 0;
  vertical-align: center;
}

table.ntdata thead tr.space {
  background: #E3F2FD;
  border-bottom: 0;
}

table.ntdata thead th.spaceleft {
  border-right: 2px solid #0D47A1;
  vertical-align: top;
}

table.ntdata tr.first {
  border-top: 2px solid #0D47A1;
}
table.ntdata .border-right {
  border-right: 2px solid #0D47A1;
}
table.ntdata .border-bottom {
  border-bottom: 2px solid #0D47A1;
}
table.ntdata .center {
    text-align: center;
}
div.center {
    text-align: center;
}
table.ntdata .right {
    text-align: right;
}
td.right {
    text-align: right;
}
table.ntdata .middle {
    vertical-align: middle;
}

table.ntdata tr.dark td {
    background: #E3F2FD;
}
table.ntdata tr.light td {
    background: white;
}
table.ntdata td.dark {
    background: #E3F2FD;
}
table.ntdata thead.dark tr {
    background: #E3F2FD;
}
table.ntdata td.light {
    background: white;
}

table.knowl_review tr:nth-child(odd) td {
    background: white;
    padding-top: 30px;
}
table.knowl_review tr:first-child td {
    padding-top: 0;
}
table.knowl_review tr:nth-child(even) {
    background: #E3F2FD;
}
table.euler {
    margin-left:auto;
    margin-right:auto;
}

table.euler tr .galois {
    text-align: center;
}

table.statgrid td {
    text-align: right;
}

table.statgrid th.rhead {
    border: 1px solid #ccc;
    border-right: 2px solid #0D47A1;
}
table.statgrid th.chead {
    border: 1px solid #ccc;
    border-bottom: 2px solid #0D47A1;
}
table.statgrid td.prop {
    border-bottom: 1px solid #ccc;
    border-right: 1px solid #ccc;
}

table.statgrid td.cnt {
    border-right: 1px solid #ccc;
}

.knowl-content {
  padding: 0 10px;
}
.knowl-content h1 {
  margin: 0px 0px 10px 0px;
}
.knowl-content h2 {
  margin: 0px 0px 5px 0px;
}

*[knowl] {
  border-bottom: 1px dotted #1565C0;
  cursor: pointer;
  border-radius: 0;
  margin: 3px 0 0 0;
}
*[knowl]:hover,
*[knowl].active {
  border-bottom: 2px solid #1565C0;
  background: #EDEDED;
  color: #1565C0;
  margin: 0;
  padding: 3px 0 0 0;
  border-top-left-radius: 3px;
  border-top-right-radius: 3px;
}

body.knowl #header {
    background: #90CAF9;
}
body.knowl #header #title {
    color: black;
}
body.knowl #content h1,
body.knowl #content h2,
body.knowl #content a {
  color: #1565C0;
}
body.knowl a:hover {
  background: #EDEDED;
}

div > *[knowl], p > *[knowl] {
  position: relative;
}

table .knowl a {
    padding: 0;
}

.knowl-error {
   color: #006d05;
   border-bottom: 0;
   text-decoration: underline;
}

.knowl-error a {
   font-size:60%;
   color: #006d05;
}

/*
knowl-qm does not seem to be currently used.

.knowl-qm {
  font-family: sans-serif;
  font-weight: bold;
  border: 1px solid #CDCDCD;
  background: transparent;
  color: black;
  cursor: pointer;
  padding: 0 0.4em;
  border-radius: 0.8em;
  font-size: 0.9em;
  top: -0.4em;
  left: -0.1em;
}
.knowl-qm:hover,
.knowl-qm.active {
    background: #66d;
  color: white;
}
.knowl-qm.active:hover {
  background: transparent;
  color: black;
}
h1 > .knowl-qm {
  font-size: 0.6em;
  border-radius: 0.6em;
  position: relative;
  top: -0.8em;
  left: -0.3em;
}
h2 > .knowl-qm {
  font-size: 0.7em;
  border-radius: 0.7em;
  position: relative;
  top: -0.6em;
  left: -0.4em;
}
*/
.knowl-output {
  background: #F5F5F5;
  border: 10px solid #CDCDCD;
  border-radius: 10px;
  padding: 0px;
  display: none;
  margin-top: 10px;
  margin-bottom: 15px;
  margin-right: 10px;
  text-align: left;
}

.knowl-output .knowl-output,
.knowl-output .knowl-output.loading {
 margin-left: 0;
 margin-right: 0;
}
.knowl-output.loading {
 color: #999;
 font-style: italic;
 font-size: small;
}
div.limit-height {
  max-height: 500px;
  overflow-y: auto;
}
.knowl-output h1, .knowl-output h2 {
  margin: 5px 0;
}
.knowl-output h1 {
  color: #1565C0;
}
.knowl-output h2 {
  color: #1565C0;
}
.knowl-output a { display: inline; }

.knowl-footer {
  position: relative;
  bottom: -10px;
  font-size: x-small;
  line-height: 100%;
  background: #CDCDCD;
  color: #333;
  padding: 1px 0 1px 10px;
  margin:  0 0 0 0;
}
.knowl-header {
  position: relative;
  top: -10px;
  font-size: x-small;
  line-height: 100%;
  background: #CDCDCD;
  color: #999;
  padding: 1px 0 1px 10px;
  margin:  0 0 0 0;
}
.knowl-header a,
.knowl-footer a {
    color: black;
}
.knowl-header a:hover,
.knowl-footer a:hover {
  background: none;
  color: black;
}

/* end knowl */

/*** Dirichlet series, displayed in HTML ***/

.dirichletseries {
  font-family:"Times New Roman", Times, serif;
}

.dirichletseries em {
  font-style: italic;
}

.dirichletseries td {
  padding-left:0;
  padding-right:0;
}

/*
.dirichletseries td:first-child {
  padding-top:3px;
}
*/

.dirichletseries span.term {
  white-space: nowrap;
}

.dirichletseries sup {
/*  font-size: 75%;
*/
  font-style: italic;
  font-family: KaTeX_Math;
}

/*** Tables for the Siegel corner ***/

/** TODO these definitions are too broad. please make siegel a
 * blueprint (name is e.g. "siegel") and prefix all siegel
 * related definitions with body.siegel
 */
.box1 {
    margin: 20px 5px 20px 5px;
    padding: 1px;
    max-width: 800px;
    overflow: auto;
}

.small{
    font-size: 12px;
}

.error {
    margin: 20px 0 20px 0;
    padding: 10px;
    border: 1px solid red;
    color: red;
    font-size: 120%;
}

/* TODO: where?*/
.enternumber
{
    border: 1px solid black;
}

.watermark {
    color: #999 !important;
}


.propertylist {
  margin: 2em 0;
  padding: 0;
  border: 1px solid #999;
}

.propertylist dt {
  font-weight: bold;
}

.propertylist dd {
  margin-bottom: 1em
}

a.navlink {
  color: white;
  background-color: #1565C0;
  font-weight: bold;
  font-size: 11px;
  text-align: center;
  padding: 5px;
  padding-top: 3px;
  padding-bottom: 4px;
  border: 1px solid white;
  outline: 1px solid #1565C0;
  text-decoration: none;
  margin-left: 1px;
  margin-top: 10px
}

hr {
  border: 2px solid #90CAF9;
  margin: 15px 0;
}
/*TODO: above*/
body.knowl hr {
  border: 2px solid #CDCDCD;
}

/* jquery ui slider */
.slider {
  margin: 15px; 5px;
}

/* tables */
/* TODO: where? do colors get used?*/
table.tablesorter {
    font-family:arial;
    background-color: #cdcdcd;
    margin:10px 0pt 15px;
    font-size: 8pt;
    width: 100%;
    text-align: left;
}
table.tablesorter thead tr th, table.tablesorter tfoot tr th {
  background-color: #E3F2FD;/*TODO: or really light grey?*/
  border: 1px solid white;
    font-size: 8pt;
    padding: 4px;
}
table.tablesorter thead tr .header {
    background-image: url("static/images/black-unsorted.gif");
    background-repeat: no-repeat;
    background-position: center right;
    cursor: pointer;
  padding-left: 4px;
  padding-right: 15px;
}
table.tablesorter tbody td {
    color: #333;
    padding: 4px;
    background-color: white;
    vertical-align: top;
}
table.tablesorter tbody tr.odd td {
    background-color:#F5F5F5;
}
table.tablesorter thead tr .headerSortUp {
    background-image: url("static/images/black-asc.gif");
}
table.tablesorter thead tr .headerSortDown {
    background-image: url("static/images/black-desc.gif");
}
table.tablesorter thead tr .headerSortDown, table.tablesorter thead tr .headerSortUp {
    background-color: #cdcdcd;
}

.dataTables_wrapper {
    width: 557px;
    zoom: 1; /* Feeling sorry for IE */
}

.dataTables_processing {
    position: absolute;
    top: 50%;
    left: 50%;
    width: 250px;
    height: 30px;
    margin-left: -125px;
    margin-top: -15px;
    padding: 14px 0 2px 0;
    border: 1px solid #ddd;
    text-align: center;
    color: #999;
    font-size: 14px;
    background-color: white;
}

.dataTables_length {
    width: 100%;
    line-height: 40px;
}

.dataTables_filter {
    width: 100%;
    line-height: 40px;
}

.dataTables_info {
    width: 45%;
    float: left;
    margin: 5px;
}

.dataTables_paginate {
    width: 50%;
    * width: 50px;
    float: right;
    text-align: right;
    margin: 5px;
}

a.paginate_active {
    font-weight: bold;
    padding: 5px;
}

a.paginate_button {
    padding: 5px;
}

/* Pagination nested */
.paginate_disabled_previous, .paginate_enabled_previous, .paginate_disabled_next, .paginate_enabled_next {
    height: 19px;
    width: 19px;
    margin-left: 3px;
    float: left;
}

.paginate_disabled_previous {
    background-image: url('/static/images/back_disabled.jpg');
}

.paginate_enabled_previous {
    background-image: url('/static/images/back_enabled.jpg');
}

.paginate_disabled_next {
    background-image: url('/static/images/forward_disabled.jpg');
}

.paginate_enabled_next {
    background-image: url('/static/images/forward_enabled.jpg');
}

table.display {
    margin: 0 auto;
    clear: both;
    width: 100%;
}

table.display thead th {
    padding: 3px 18px 3px 10px;
    border-bottom: 1px solid black;
    font-weight: bold;
    cursor: pointer;
    * cursor: hand;
}

table.display tfoot th {
    padding: 3px 18px 3px 10px;
    border-top: 1px solid black;
    font-weight: bold;
}

table.display tr.heading2 td {
    border-bottom: 1px solid #999;
}

table.display td {
    padding: 3px 10px;
}

table.display td.center {
    text-align: center;
}

.sorting_asc {
    background: url('/static/images/sort_asc.png') no-repeat center right;
}

.sorting_desc {
    background: url('/static/images/sort_desc.png') no-repeat center right;
}

.sorting {
    background: url('/static/images/sort_both.png') no-repeat center right;
}

.sorting_asc_disabled {
    background: url('/static/images/sort_asc_disabled.png') no-repeat center right;
}

.sorting_desc_disabled {
    background: url('/static/images/sort_desc_disabled.png') no-repeat center right;
}


/* TODO: I think the following are not used. */
/*
table.display tr.odd.gradeA {
    background-color: #90CAF9;
}

table.display tr.even.gradeA {
    background-color: #E3F2FD;
}

table.display tr.odd.gradeC {
    background-color: #CDCDCD;
}

table.display tr.even.gradeC {
    background-color: #F5F5F5;
}

table.display tr.odd.gradeX {
    background-color: #fdd;
}

table.display tr.even.gradeX {
    background-color: #fee;
}

table.display tr.odd.gradeU {
    background-color: #ddd;
}

table.display tr.even.gradeU {
    background-color: #eee;
}
*/

.dataTables_scroll {
    clear: both;
}

.dataTables_scrollBody {
    *margin-top: -1px;
}

.top, .bottom {
    padding: 52px 5px 5px;
    background-color: ;
    border: 1px solid #ccc;
}

.top .dataTables_info {
    float: none;
}

.clear {
    clear: both;
}

.dataTables_empty {
    text-align: center;
}

tfoot input {
    margin: 0.5em 0;
    width: 100%;
    color: #666;
}

tfoot input.search_init {
    color: #999;
}

td.group {
    background-color: #d1cfd0;
    border-bottom: 2px solid #a19b9e;
    border-top: 2px solid #a19b9e;
}

td.details {
    background-color: #d1cfd0;
    border: 2px solid #a19b9e;
}


.example_alt_pagination div.dataTables_info {
    width: 40%;
}

.paging_full_numbers {
    height: 22px;
    line-height: 22px;
}

.paging_full_numbers span.paginate_button,
.paging_full_numbers span.paginate_active {
    border: 1px solid #999;
    padding: 2px 5px;
    margin: 0 3px;
    cursor: pointer;
    *cursor: hand;
}

.paging_full_numbers span.paginate_button {
    background-color: #ddd;
}

.paging_full_numbers span.paginate_button:hover {
    background-color: #ccc;
}

.paging_full_numbers span.paginate_active {
    background-color: #99b3ff;
}

table.display tr.even.row_selected td {
    background-color: #b0bed9;
}

table.display tr.odd.row_selected td {
    background-color: #9fafd1;
}

tr.odd td.sorting_1 {
    background-color: #D3D6FF;
}

tr.odd td.sorting_2 {
    background-color: #DADCFF;
}

tr.odd td.sorting_3 {
    background-color: #E0E2FF;
}

tr.even td.sorting_1 {
    background-color: #EAEBFF;
}

tr.even td.sorting_2 {
    background-color: #F2F3FF;
}

tr.even td.sorting_3 {
    background-color: #F9F9FF;
}

/*TODO: I think these are not used.*/
/*
tr.odd.gradeA td.sorting_1 {
    background-color: ;
}

tr.odd.gradeA td.sorting_2 {
    background-color: ;
}

tr.odd.gradeA td.sorting_3 {
    background-color: ;
}

tr.even.gradeA td.sorting_1 {
    background-color: ;
}

tr.even.gradeA td.sorting_2 {
    background-color: ;
}

tr.even.gradeA td.sorting_3 {
    background-color: ;
}

tr.odd.gradeC td.sorting_1 {
    background-color: #c4c4ff
}

tr.odd.gradeC td.sorting_2 {
    background-color: #d1d1ff;
}

tr.odd.gradeC td.sorting_3 {
    background-color: #d1d1ff;
}

tr.even.gradeC td.sorting_1 {
    background-color: #d5d5ff;
}

tr.even.gradeC td.sorting_2 {
    background-color: #eef;
}

tr.even.gradeC td.sorting_3 {
    background-color: #eef;
}

tr.odd.gradeX td.sorting_1 {
    background-color: ;
}

tr.odd.gradeX td.sorting_2 {
    background-color: ;
}

tr.odd.gradeX td.sorting_3 {
    background-color: ;
}

tr.even.gradeX td.sorting_1 {
    background-color: ;
}

tr.even.gradeX td.sorting_2 {
    background-color: ;
}

tr.even.gradeX td.sorting_3 {
    background-color: ;
}

tr.odd.gradeU td.sorting_1 {
    background-color: ;
}

tr.odd.gradeU td.sorting_2 {
    background-color: ;
}

tr.odd.gradeU td.sorting_3 {
    background-color: ;
}

tr.even.gradeU td.sorting_1 {
    background-color: ;
}

tr.even.gradeU td.sorting_2 {
    background-color: ;
}

tr.even.gradeU td.sorting_3 {
    background-color: ;
}

.ex_highlight #example tbody tr.even:hover, #example tbody tr.even td.highlighted {
    background-color: ;
}

.ex_highlight #example tbody tr.odd:hover, #example tbody tr.odd td.highlighted {
    background-color: ;
}

.ex_highlight_row #example tr.even:hover {
    background-color: ;
}

.ex_highlight_row #example tr.even:hover td.sorting_1 {
    background-color: ;
}

.ex_highlight_row #example tr.even:hover td.sorting_2 {
    background-color: ;
}

.ex_highlight_row #example tr.even:hover td.sorting_3 {
    background-color: ;
}

.ex_highlight_row #example tr.odd:hover {
    background-color: ;
}

.ex_highlight_row #example tr.odd:hover td.sorting_1 {
    background-color: ;
}

.ex_highlight_row #example tr.odd:hover td.sorting_2 {
    background-color: ;
}

.ex_highlight_row #example tr.odd:hover td.sorting_3 {
    background-color: ;
}

table.KeyTable td {
    border: 3px solid transparent;
}

table.KeyTable td.focus {
    border: 3px solid ;
}

table.display tr.gradeA {
    background-color: #E3F2FD;
}

table.display tr.gradeC {
    background-color: #F5F5F5;
}

table.display tr.gradeX {
    background-color: #fdd;
}

table.display tr.gradeU {
    background-color: #ddd;
}
*/

/* TODO: div? */
div.box {
    height: 100px;
    padding: 10px;
    overflow: auto;
    border: 1px solid #CDCDCD;
    background-color: #F5F5F5;
}

div.codebox {
    padding: 5px;
    text-padding: 10px;
    border: 1px solid #CDCDCD;
    border-radius: 5px;
    background-color: #F5F5F5;
    box-shadow: 3px 3px 3px #0D47A1;
    white-space: pre;
}

/* Styling of Maass form plot */

div.maassformplot {
    position: absolute;
    width: 720px;
    position: relative;
    /*    height: 800px;
        overflow: hidden;
        position: relative; */
}

div.maassformplot img {
    width:100%;
    height:auto;
/*    position: absolute;
    top: -200px;
    left: -870px;*/
}

/* End of styling of Maass form plot */



/*Sidebar style*/

#sidebar .L a {
    display: inline;
    padding: 2px;
}

#sidebar .L {
    padding-right: 4px;
}

#sidebar .heading {
    padding-right: 1px;
    padding-left: 2px;
    margin-bottom: 1px;
}

#sidebar div.L {
    margin: 8px;
}

#sidebar table td a {
    display: block;
    padding: 2px;
    border-radius: 0;
}

#sidebar table td .subtitle {
    color: black;
}

#sidebar table td.borc .subtitle .future {
    margin-left: 5px;
    padding: 2px 5px
}

#sidebar table td.borc .subtitle a {
    margin-left: 5px;
}

#sidebar table td p {
    padding: 2px 0px;
}

#sidebar table td.full .future  {
    padding: 2px 5px;
}

#sidebar .future {
    color: #999;
    display: inherit;
}


#sidebar .beta {
    color: #006d05;
    display: inherit;
}


#sidebar .beta a {
    color: #006d05;
}


#sidebar table td .parts {
    padding-left: 15px;
}

#sidebar table td .subitem {
    padding-right: 15px;
}

#sidebar table td.rotation { overflow: hidden; }

#sidebar li a {
    background: inherit;
}

#sidebar .list a {
    display: block;
    background: none;
    padding: 0px;

}
#sidebar h2 {
    margin: 5px 0px 0px;}

p.rotation  {
    transform: rotate(270deg);
}

/* temporary over-side for GL(2) on beta */
body.beta #sidebar table.short:nth-of-type(3) .rotation p.rotation {
    transform: rotate(0deg)
}

#sidebar table th, #sidebar table td {
    text-align: left;
    padding: 2px;
}

#sidebar table.short{
    width: 100%;
    table-layout: fixed;
    border-width: 2px;
    border-bottom: 0px;
    border-style: solid;
    padding: 2px;
    border-spacing: 0px;
    border-color: #E3F2FD;
    border-collapse: separate;
}

#sidebar table.short td.bor{
    text-align: left;
}

#sidebar table.short td.nbor{
    padding: 0px; text-align: left;
}

#sidebar table.short td.borc{
    text-align: center;
}

#sidebar table.short td.full{
    text-align: left;
}

#sidebar table.short td.off {
    text-align: center;
    background: white;
}



#sidebar ul:first-child a:first-child,
#sidebar h2:first-child a:first-child,
#sidebar h2:first-child {
  margin: 0;
  padding-top: 3px;
}

#sidebar ul:last-child li:last-child,
#sidebar ul:last-child li:last-child a {
  border-bottom-right-radius: 0px;
}

#sidebar .list li {
  padding: 2px 0px;
}

#sidebar .list a {
  padding: 0px;
}

#sidebar table.short2{
    width: 100%;
    table-layout:fixed;
    padding: 10px;
    border-spacing: 0px;
    border-color: #E3F2FD;
    border-collapse: collapse;
}

#sidebar table.short2 td{
    padding-left: 10px;
}

/*End of Sidebar style*/




/*Table boxes front page*/

table.boxes {
  table-layout: fixed;
  width: 100%; padding: 10;
  margin: 0px;
  margin-left: 15px;
  font-size:1em;
  display:table;
  }
table.boxes > tbody > tr > td {
  padding: 0px 50px 50px 0px;
  overflow: hidden;
  vertical-align: top
  }
table.box {
  background: white;
  width: 100%; height: 100%;
  padding: 10;
  border-radius: 0px;
  font-size:1em;
  }
table.box td.img {
  background: #E3F2FD;
  width: 150px;
  height: 150px;
  border: 15;
  padding-left: 5px;
  padding-bottom: 0px;
  padding-top: 5px;
  padding-right: 5px;
  }
table.box img {
  border: 15;
  padding: 5;
  }
table td.title {
  font-weight: bold;
  font-size: 110%;
  background: #90CAF9;
  height: 2em;
  padding: 5;
  padding-left: 10px;
  border-top-right-radius: 10px;
  }
table td.content {
  background: #E3F2FD;
  font-size: 90%;
  padding-left: 15px;
  padding-bottom: 5px;
  vertical-align: top;
  }
div.user {
  font-size: 90%;
  padding: 0px;
  }
div.user ul li {
  line-height: 80%;
  }
table.box td.content ul.list {
  margin: 0px;
  padding-left: 15px; padding-bottom: 5px;
  list-style-type: none;
  list-style-position: inside;
  line-height: 135%;
}

/*End table boxes front page*/

p.short {
  margin: 0px;
}

.table-scroll-wrapper {
    overflow-y:auto;
}

.table-scroll-wrapper table {
    margin-right: 1px;
    margin-bottom: 1px;
    border-collapse: collapse;
}
.table-scroll-wrapper th {
    position: -webkit-sticky; top: 0;
    position: sticky; top: 0;
    z-index:1;
    background:#E3F2FD;
    background-clip: padding-box;
}
.cmf-dim-table th.level {
    padding-left: 80px;
}
th.weight-label {
    padding-left: 5px;
    padding-right: 0px;
}

div.table-scroll-wrapper thead tr {
    border-bottom: 0;
}
div.table-scroll-wrapper thead > tr:last-child > th {
    border-bottom: 2px solid #0D47A1;
}

.table-scroll-wrapper td.border-right, .table-scroll-wrapper th.border-right {
    border-right: 0; /* We need to put the border on td:after for scrolling */
}
.table-scroll-wrapper .border-right:after {
    content:'';
    position:absolute;
    right: 0;
    top: 0;
    height:100%;
    border-right: 2px solid #0D47A1;
}
.table-scroll-wrapper .sticky-col {
    position: -webkit-sticky; left: 0;
    position: sticky; left: 0;
    z-index:2;
    background-clip: padding-box;
}
.table-scroll-wrapper th.sticky-head {
    position: -webkit-sticky; left: 0; top: 0;
    position: sticky; left: 0; top: 0;
    z-index:3;
}
td.nowrap {
    white-space:nowrap;
}
table.ntdata td.nowrap a {
    display: inline;
}

.float-right {
    float:right;
}
.float-left {
    float:left;
}

#complex_embeddings {
    padding-top: 10px;
}

table.coeff_ring_basis td {
    vertical-align: top;
}

table.coeff_ring_basis td.LHS {
    text-align: right;
    margin-right: 0;
    padding-right: 0;
}
table.coeff_ring_basis td.eq {
    text-align: center;
    margin-right: 0;
    padding-right: 2px;
    margin-left: 0;
    padding-left: 2px;
}
table.coeff_ring_basis td.RHS {
    text-align: left;
    margin-left: 0;
    padding-left: 0;
}

table.complex-cols td.real {
    font-family: MJX_Math;
    text-align: right;
    margin-right: 0;
    padding-right: 0;
}
table.complex-cols td.imag {
    font-family: MJX_Math;
    text-align: left;
    margin-left: 0;
    padding-left: 0;
}
td.op {
    font-family: MJX_Math;
    text-align: center;
    margin-right: 0;
    padding-right: 2px;
    margin-left: 0;
    padding-left: 2px;
}

table.ntdata td.embedding-wrap {
    margin: 0;
    padding: 0;
}
.table-scroll-wrapper table.sticky-embeddings {
    margin: 0;
    padding: 0;
    min-width: 55px;
}
table.sticky-embeddings td.vstrut {
    margin-left: 0;
    padding-left: 0;
    margin-right: 0;
    padding-right: 0;
}

table.qexp-table td.fdef {
    text-align: right;
    margin-right: 0;
    padding-right: 0;
    vertical-align: top;
}
table.qexp-table td.op {
    vertical-align: top;
}

td.topspace {
    padding-top: 15px;
}
table.qexp-table td.output {
    margin-left: 0;
    padding-left: 0;
    vertical-align: top;
}

.mjx_basic {
    font-family: MJX_Math;
}

input::placeholder {
    color: #cccccc;
}

.table_rotate {
   /* see the word "Weight" on the left edge of the table in
        /ModularForm/GL2/Q/holomorphic/?search_type=Dimensions&dim=1
   */
  transform: rotate(180deg);

  writing-mode: vertical-lr;
  white-space: nowrap;
}

/* an horizonal list with bullet points */
ul.horizontal-list {
  display:inline-block;
  padding:0;
  margin: 0.5em;
  margin-block-start: 0;
}
ul.horizontal-list li {
  display: inline;
  white-space: nowrap;
}
ul.horizontal-list li:after {

  content:" ";
  letter-spacing:1em;
  background: center center no-repeat url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAUAAAAFCAYAAACNbyblAAAABGdBTUEAALGPC/xhBQAAAAlwSFlzAAAOwAAADsABataJCQAAABl0RVh0U29mdHdhcmUAcGFpbnQubmV0IDQuMC4xMkMEa+wAAAAnSURBVBhXY/Dz89MA4sNA/B9Ka4AEYQIwfBgkiCwAxjhVopnppwEApxQqhnyQ+VkAAAAASUVORK5CYII=);
}

input.color_selecter {
    margin: 10px;
}

/* the button to show advanced search options */
#advancedtoggle {
    margin-left: 20px;
}

/* the advanced search options themselves, hidden by default */
.advanced {
    display: none;
}