在网页中，hr标签是用于绘制水平线条的元素。而当我们需要修改水平线条的粗细时，我们可以通过CSS来实现。
首先，我们需要设置hr标签的属性为border，并设置它的样式为solid。这样，我们就可以改变hr标签的粗细。
比如，我们如果想让hr标签的粗细变为3px，我们可以使用以下的CSS代码：
pre {
color: #000;
background-color: #f5f5f5;
padding: 10px;
font-size: 16px;
font-family: Consolas, monospace;
}
p {
color: #333333;
font-size: 14px;
line-height: 1.5;
margin-bottom: 15px;
}
hr {
border: 3px solid #333333;
}
在这个例子中，我们首先设置了pre标签的样式，以使其更易于阅读。然后，我们定义了p标签的样式，以设定段落的文字颜色、字体大小、行高和底部的边距。最后，我们设置了hr标签的属性为border，并将它的样式设为solid，以将hr标签的粗细设为3px。
通过使用这个简单的CSS代码，我们可以更改hr标签的粗细，让它更适合我们的网页设计。