Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev

This commit is contained in:
Christian Rinderknecht 2019-12-16 17:38:09 +01:00
commit d4b750eff8

View File

@ -858,6 +858,13 @@ a:hover {
} }
} }
@media (min-width: 1500px) {
.centered {
max-width: 1400px;
}
}
@media (max-width: 1023px) { @media (max-width: 1023px) {
.centered { .centered {
flex-direction: column; flex-direction: column;
@ -953,4 +960,5 @@ a:hover {
} }
.language-reasonligo .hljs-constructor { .language-reasonligo .hljs-constructor {
color: #a31515; color: #a31515;
} }