@ -915,7 +915,7 @@ pre.raw {
}
.ui .sha.label {
font-family: Consolas, Menlo, Monaco, "Lucida Console", monospace;
font-size: 14px;
font-size: 13px;
padding: 6px 10px 4px 10px;
font-weight: normal;
margin: 0 6px;
@ -221,7 +221,7 @@ pre {
.sha.label {