}
}
+.navbar + .container {
+ margin-top: 2ex;
+}
+
.footer {
margin-top: 36px;
margin-bottom: 0px;
}
h1 {
+ margin-top: 0ex;
margin-bottom: 0.5ex;
}
.nobr {
white-space:nowrap;
}
+
+.avatar-large {
+ border-radius: 5px;
+}
+.avatar-small {
+ border-radius: 3px;
+}
+.avatar-tiny {
+ border-radius: 2px;
+}
+
+.forkdomain {
+ margin-left: 2ex;
+}
\ No newline at end of file