div.log-details { width: 100% }
div.log-details label { font-weight: bold }
div.log-details div { text-align: right }


div[class*=-link] { cursor: pointer }
div[class*=-link]:hover { text-decoration: underline }


div.error-link { color: var(--warning-color) }