Wiki mobile and link style GitOrigin-RevId: 6556d63d8662de115d634f59655c6479494ec407
@@ -78,6 +78,11 @@
margin-right: -200px;
}
+ @media (max-width: @screen-sm) {
+ .contents {
+ margin-top: @margin-lg;
+ }
/*<![CDATA[*/
.source-latex {line-height: normal;}