Add github-btn style

2015-12-17 07:59:09 -08:00
parent 1cba0aea27
commit bf6651d1ca
1 changed files with 5 additions and 0 deletions
--- a/doc/cppformat.less
+++ b/doc/cppformat.less
@@ -59,3 +59,8 @@ div.sphinxsidebar {
 p.rubric {
  margin-top: 10px;
 }
+
+.github-btn {
+  border: 0;
+  overflow: hidden;
+}