srctree

Robin Linden parent f28752e4 350f9ba7
css: Add default CSS for the hr element

inlinesplit
css/default.css added: 13, removed: 1, total 12
@@ -343,3 +343,15 @@ ol,
ul {
padding-left: 40px;
}
 
/* 15.3.11 The hr element */
/* https://html.spec.whatwg.org/multipage/rendering.html#the-hr-element-2 */
 
hr {
color: gray;
border-style: inset;
border-width: 1px;
margin-block: 0.5em;
margin-inline: auto;
overflow: hidden;
}