minor CSS improvement

This commit is contained in:
Araq
2016-09-30 23:59:41 +02:00
parent b9ed13b279
commit 42b64e3257

View File

@@ -1279,8 +1279,8 @@ dt pre > span.Operator ~ span.Identifier, dt pre > span.Operator ~ span.Operator
div.search_results {
background-color: antiquewhite;
margin: 3em;
border-style: inset;
padding: 1em;
border: 1px solid #4d4d4d;
}
</style>