html {
 font-family: sans-serif;
}

footer {
 font-size: 8pt;
}

a {
 color: darkmagenta;
}

div.navi a:hover {
 font-weight: bold;
}

div.navi a {
 min-width: 100px;
 text-align: center;
}

a.home {
  display: inline;
}

a.home:hover {
 /*transform: scale(1.5);
 border: 1px solid black;*/
}

a.solve {
 padding-left: 1px;
}

a.solve:hover {
 font-weight: bold;
 padding: 0;
}

div.navi {
 display: grid;
 grid-auto-flow: column;
 grid-template-columns: 70px auto; 
 text-align: left;
 align-items: center;
 padding-bottom: 5px;
 margin-bottom: 5px;
 background-color:#ececec;
 position: relative;
 width: 100%;
 border-radius: 12px;
 border-bottom: 1px solid black;
}

.navi a {
  padding: 5px;
  text-decoration: none;
}

div.submission {
 background-color: white;
 max-width: 1200px;
}

.submission form input {
  margin: 10px;
}


div.status, div.submission, div.rank, div.problem {
  position: relative;
  background-color: white;
  max-width: 1200px;
  min-width: 820px;
  margin: 2px;
  padding: 2px;
}

div.problem {
  border: 0;
}

div.submission {
  max-width: 820px;
}

div.justified {
  display: flex;
  justify-content: center;
}

select.example {
  margin: 10px;
}
div.example {
  margin: 10px;
}


h4.problem {
  margin: 10px;
}

h3.problem {
  margin: 5px;
}
p.problem {
  margin: 10px;
  width: 800px;
  background-color: #ececec;
  padding: 10px;
  border-radius: 12px;
}

pre.input, pre.output, p.output, p.input {
  background-color: #ececec;
  border-radius: 6px;
  padding: 5px;
}

div.alwaysontop {
  position: absolute;
}

table {
  border-spacing: 0px;
  width: 100%;
}

table th:first-child {
 border-radius: 12px 0 0 0;
}

table th:last-child {
 border-radius: 0 12px 0 0;
}

.submission table th, .problem table th, .status table th {
  background-color: lightgray;
}

table tr:nth-child(even) {background-color: #efefe0;}
table tr:last-child td {border-bottom:none; }
table th, table td {
  padding: 10px;
  border-bottom: 1px solid;
}


table.edit tr:nth-child(even) { background-color:white; }
table.edit td {
  border-bottom:0px;
}

.rank {
  width: 100%;
}

table.dataTable tr.odd {
}
table.dataTable tr.even {
  background-color: #efefe0;
}

.ui-toolbar {
 margin-top: 5px;
 margin-bottom: 5px;
 border-radius: 12px;
}

.ui-tabs .ui-tabs-panel {
 padding: 0;
}

#.ui-accordion-header.ui-state-active {
#  background-color:  lightgrey;
#  border-color: lightgrey;
#}