/**
 * Copyright (c) 2017-present, Facebook, Inc.
 *
 * This source code is licensed under the MIT license found in the
 * LICENSE file in the root directory of this source tree.
 */
 
/* your custom css */

@media only screen and (min-device-width: 360px) and (max-device-width: 736px) {
}

@media only screen and (min-width: 1024px) {
}

@media only screen and (max-width: 1023px) {
}

@media only screen and (min-width: 1400px) {
}

@media only screen and (min-width: 1500px) {
}

/* Always show the brand name in the menu */
@media (max-width: 480px) {
  .headerTitleWithLogo {
      display: block !important;
  }
}

/* Do not have gluing buttons for the home page on mobile */
.pluginWrapper.buttonWrapper .button {
  margin-bottom: 5px;
}

/* Language name in code blocks */
.hljs.language-coq {
  background-color: hsl(0, 80%, 96%);
}

.hljs.language-ocaml {
  background-color: hsl(60, 70%, 94%);
}

pre {
  position: relative;
}

pre .languageBadge {
  background-color: transparent;
  color: #5e656e;
  font-size: 75%;
  font-weight: 600;
  height: 30px;
  padding: 0;
  position: absolute;
  right: 12px;
  top: 6px;
  z-index: 2;
}
