made file directive less obstrusive

This commit is contained in:
Bernhard Posselt
2012-10-30 17:50:06 +01:00
parent 4aa1fa32c5
commit 4fe9b3ed63

View File

@@ -1106,3 +1106,7 @@ img.alignleft{ margin-right: 20px; }
tt.file {
font-weight: bold;
}
tt.file:before {
content: "file: ";
}