#jld2 {
   padding-left: 1em;
   padding-top:  0.5em;
}

#jld2 td {
   padding-top:    0.25em;
   padding-bottom: 0.25em;
   padding-left:   0.5em;
   padding-right:  0.5em;
}

#jld2 tr {
   cursor: pointer;
}

#jld2 tr:hover td {
   background: lightblue;
}

#warning {
   padding: 0.75em 1em;
   border-radius:  4px;
   border-style:   solid;
   border-width:   1px;
   margin-top:     0.5em;

   background-color: rgba(252, 248, 227, 1);
   border-color:     rgba(177, 161, 129, 1);
   color:            rgba(138, 109, 59, 1);
}

a {
   text-decoration: none;
   color:           black;
}

.key {
   font-weight: bold;
   font-family: monospace;
}

.value {
   font-family:  monospace;
}