diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/static/css/default.css | 6 | 
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/static/css/default.css b/docs/static/css/default.css index 8e0490d3..213a700e 100644 --- a/docs/static/css/default.css +++ b/docs/static/css/default.css @@ -22,6 +22,12 @@ pre {      display: block;  } +@media (max-width: 480px) { +  .repo-link { +    display: none; +  } +} +  /* Header link to GitHub */  .repo-link {      float: right;  | 
