Merge branch 'ar/clean-rmdir-empty' into maint
[gitweb.git] / gitweb / static / gitweb.css
index 4132aabcdb4ef402ceb1a890b61778b3254fdf18..79d7eebba797f3bd80a639f6ca0835e15016762d 100644 (file)
@@ -573,6 +573,12 @@ div.binary {
        font-style: italic;
 }
 
+div.remote {
+       margin: .5em;
+       border: 1px solid #d9d8d1;
+       display: inline-block;
+}
+
 /* Style definition generated by highlight 2.4.5, http://www.andre-simon.de/ */
 
 /* Highlighting theme definition: */