@charset "UTF-8";
/* CSS Document */

:root {
  --black: #000;
  --yellow: #ffff00;
  --lightblue: #00eeff;   /* #1BCDFD;*/
  --blue:      #07a;
  --darkblue:  #003366; /*#162852;*/ /* #1b3764; */   /* #000033; */
  --vdarkblue: #000020; /* 000033; */
  --dark: #171717;
  --green: #28a745;
  --white: #fff;
  --orange: orange;
  --grey:  #eee;
  --menu_text: #000;
  --menu_bkcolor: #fff;
  --header: rgba(230, 230, 230, 1);
  --header_fade: rgba(230, 230, 230, 0);
  --maxwidth: 1200px;
  --header_margin:10px;
  --margin: 5px;
  --nmargin: -5px;
  --spacing: 30px;
  --nspacing: -30px;
  --gridspacing: 10px;

  --alert_border: #003366;
  --alert_bkcolor: rgb(1,46,255,0.5);
}

 
body {
  background: #fff; 
  font-family: avenir, sans-serif;
  font-weight: normal;
  font-size: 18px;
  line-height: 28px;
  text-align: left;
  margin: 0;
  padding: 0;
  color: var(--black);
}


.container {
  display: block;
  padding: 0 var(--margin);
  margin: 0 auto;
  position:relative;
  max-width: var(--maxwidth);
}


/* -----------------
   ---- Headers ---- 
   ----------------- */

h1, h2, h3, h4, h5 {
  font-weight: 300;
  margin: 0;
  line-height:normal;
}

h1 {
  font-size: 50px;
  margin-bottom: 15px;
}

h2 {
  font-size: 30px;
  margin-bottom: 1rem;
  margin-top: 30px;
}

h3 { 
  padding-top: 0;
  font-size: 20px;
  margin-bottom: 1rem;
  margin-top:25px;
}

h4 { 
  font-size: 18px;
}

h5 { 
  font-size: 16px;
  font-weight: 500;
  margin-bottom:5px;
  color:#777;
}


.beta {
  font-size: 16px;
  white-space: nowrap;
  border:1px solid var(--green);
  border-radius: .25rem;
  width:90px;
  margin:auto;
  text-align: center;
}


em { 
  color: #28a745;
  font-weight: 400;
}

code {
  font-size: 14px;
  line-height: 16px;
  color: #e83e8c;
  word-wrap: break-word;
  font-family: SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",monospace;
}

img { 
  vertical-align: middle;
  border-style: none;
}


a, a:visited {
  color:var(--darkblue);
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
} 

/* ----- Licence ---- */



div.licence {
  display: grid;
  grid-template-columns: 70px 200px;
  font-size: 80%;
  color:#fff;
}

div.licence:hover {
  color:#aaa;
}



/* ----- Code snippet ----- */

.bundle {
  border: 1px solid #ddd;
  border-radius: 5px;
}

.bundle #equation-editor {
  border: unset;
  border-radius: unset;
  padding: 5px;
  background: white;
  color: black;
}

.snippet {
  overflow: auto;
  padding: 10px;
}






.pl-3 { 
  padding-left:30px;
}

.center { 
  text-align: center;
}

.text-black {
  color: black;
}

.brand-link:hover {
  text-decoration: none;
}

.eqn-badge {
  position: absolute;
  right: 0;
  top: 0;
  padding: 5px;
  color: white;
  border-bottom-left-radius: 5px;
  width: 70px;
  text-align: center;
  background-color: #28a745;
  font-size:90%;
}

.copyright {
  text-align: center;
}

.orange {
  padding:5px;
  border:1px solid orange;
  background-color: orange;
}

.examples {
  min-height: 40px;
}




/* --------------------
   ---- Navigation ----
   -------------------- */
header {
  background-color: var(--header_fade);
  position: sticky;
  z-index: 1030;
  top:0;
  right:0;
  left:0;
  box-shadow: 0 0 0px 0 #ccc;
}


.navbar {
  max-width: var(--maxwidth);
  margin: 0 auto;
  padding: var(--header_margin);

  font-size: 14px;
  display: grid;
  grid-template-columns: 1fr 100px;
  grid-template-areas: "brand menu";
  grid-column-gap: var(--gridspacing);
  align-items: center;
}


/* Branding */
.nav-brand {
  grid-area: brand;
  opacity: 0;
}

.nav-brand img {
  width:25px;
  margin-right:5px;
  vertical-align: middle;
}

/* Use by Sea Powered Protection */
.nav-brand a {
  width:50px;
  margin-right:5px;
  vertical-align: middle;
  align-self: start;
  text-decoration: none;
  padding: 0;
  white-space: nowrap;
  color: var(--menu_text);
  font-weight: 500;
  font-size: 1.5rem;
}

.nav-menu {
  grid-area: menu;
  justify-self: right;
  text-align: right;
  align-items: center;
  position: relative;
}

#nav-toggle {
  justify-self: center;
  display: none;
  align-items: center;
  position: relative;
}

#nav-toggle > div {
  margin: 2px 5px;
  padding: 2px 15px;
  text-align: center;
  vertical-align: middle;
  position: relative;
}

#nav-toggle a, .nav-toggle {
  text-decoration: none; 
  white-space: nowrap;
  color: var(--menu_text);
  font-weight: 500;
  opacity: 1;
  border: none;
}

#nav-toggle > div:not(.active) > a:hover {
  border-bottom: 1px solid var(--green);
  cursor: pointer;
}

#nav-toggle > div.active {
  background-color: var(--darkblue);
  border-radius: 5px;
}

#nav-toggle > div.active:has(a.button) {
  background-color: unset;
}

#nav-toggle > div.active a {
  color: var(--white);
}

#nav-toggle > div.active:after {
  border-bottom:none;
}

#nav-toggle.show {
  margin: 2px 5px;
  position: absolute;
  min-width:150px;
  display: grid;
  right: -12px;
  border: 1px solid var(--header);
  background-color: var(--menu_bkcolor);
  padding: 10px;
}

#nav-toggle > div.dropdown {
  cursor: pointer;
}




/* ----------------
   ---- Footer ----
   ---------------- */

footer {
  background-color: #2d2d2d;
  color: #fff;
  padding: var(--margin);
  clear: both;
  font-size: 12px;
  line-height: 20px;
  text-align: center;
}

footer h1 {
  text-align: center;
  color: #fff;
  padding-top: var(--spacing);
}

footer hr {
  border-bottom: 1px solid var(--white);
  margin-left:auto;
}

footer strong {
  color: var(--white);
}

footer a, footer a:visited {
  color: var(--white);
  text-decoration: none;
}

footer a:hover {
  color: var(--yellow);
  text-decoration: underline;
}

footer .copyright {
    color: #ffffff;
    padding-top: 10px;
    margin-bottom: 25px;
    text-align: center;
}

footer span { margin: 5px 10px; }

.footer {
  display:grid;
  grid-template-columns: repeat(2, 1fr);
  grid-row-gap: 20px;
  margin-bottom: 20px;
}

.footer ul {
    margin: 0;
    list-style-type: none;
}

.footer .links ul {
  text-indent: 10px;
}

.footer ul li:before {
  content: none;
}

.footer li {
    text-align: left;
}

/* Use in a section before footer to ensure 
footer gets pushed at least to bottom of page */
.placeholder {
  min-height: calc(100vh - 275px);
}



/* ------------------
   --- Home Page ----
   ------------------ */

/* Header message about the Equation Editor */
.header {
  display: grid;
  grid-template-columns: 1fr;
  grid-column-gap: 10px;
  font-size: 12px;
  margin: auto;
  margin-bottom: 10px;
}


.header h1 {
  font-size: 3rem;
  font-weight: 300;
  margin: 0;
  margin-top:10px;
}

.header h1>small {
  font-size: 60%;
  white-space: nowrap;
  font-weight: unset;
}

.header img { 
  width:100px; 
  padding-bottom: 20px;
}

.header div {
  text-align: center;
}

.button-bar {
  text-align: center;
}


/* ----------------- 
   ---- Buttons ---- 
   ----------------- */

[type=button]:not(:disabled), button:not(:disabled) {
    cursor: pointer;
}

button, a.button {
  padding: 8px 14px;

  border-radius: .2rem; 

  font-family: muli, sans-serif;
  font-weight: 400;
  font-size: 14px;
    
  text-align: center;
  text-transform: uppercase;
  vertical-align: middle;

  cursor: pointer;
  -webkit-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
  word-wrap: none;
  white-space: nowrap;

  color: var(--green);
  border: 1px solid var(--green);
  background-color: transparent; 
  text-decoration: none;

  transition: color .15s ease-in-out,background-color .15s ease-in-out,border-color .15s ease-in-out,box-shadow .15s ease-in-out;
}

a.button.large, button.large {
  font-size: 110%;
}

a.button.small, button.small {
  font-size: 80%;
  padding: 4px 7px;
}

p.button {
  text-align: center;
}

a.button:hover, button:hover {
  background-color: var(--darkblue);
  color: var(--white);
  border-color: var(--darkblue);
}

button.green, a.button.green {
  color: var(--white) !important;
  background-color: var(--green);
}

button.blue, a.button.blue {
  color: var(--white) !important;
  border-color: var(--darkblue);
  background-color: var(--darkblue);
}



/* -----------------
   --- Sections ----
   ----------------- */

section { 
  padding: 15px var(--margin);
  margin:auto;
  max-width: var(--maxwidth);
}

section.surround {
  background-color: var(--vdarkblue);
  color: var(--white);
}

section.surround.grey {
  background-color: var(--grey);
  color: var(--black);
  position: relative;
  z-index: 1;
}

section.surround.grey * {
  z-index: 10;
}

section.surround.dark {
  background-color: var(--vdarkblue);
  color: var(--white);
}

section.surround > div {
  max-width: var(--maxwidth);
  margin: auto;
  position: relative;
  padding-left: var(--margin);
}

section.surround:not(.grey) h3, 
section.surround:not(.grey) h4, 
section.surround:not(.grey) h5, 
section.surround:not(.grey) a {
  color: var(--white);
}




/* ---- List Groups ---- */

.card {
  position: relative;
  display: flex;
  flex-direction: column;
  min-width: 0;
  word-wrap: break-word;
  background-color: #fff;
  background-clip: border-box;
  border:1px solid rgba(0,0,0,.125);
  border-radius:.25rem;
  padding: 0;
}

.card-header {
  padding: .75rem 1.25rem;
  margin-bottom: 0;
  background-color: rgba(0,0,0,.03);
  border-bottom: 1px solid rgba(0,0,0,.125);
}

.card-row {
  position: relative;
  display:grid;
  grid-template-columns: 1.5fr 1fr;
  grid-column-gap: var(--gridspacing);
  border-bottom: 1px solid rgba(0,0,0,.125);
  padding:30px;
}


.card-row .examples {
  margin-top: 10px;
}



/* -------------------------- 
   ---- MEDIA VARIATIONS ---- 
   -------------------------- */


/* ------------------------
   ----- Small Screen -----
   ------------------------ */

@media (min-width: 576px) {
  :root {
    --margin: 30px;
    --nmargin: -30px;
  }

  .footer {
    width: 80%;
    margin: auto;
    grid-template-columns: repeat(3, 1fr);
  }
}


@media (min-width: 768px) {

  ul { 
    padding-left: var(--margin);
  }

  .tab-bar { 
    text-align: left;
  }

  .tab {
    margin: 0;
  }

  #licence.selected {
    grid-template-columns: repeat(2, 1fr);
  }

  .menu_column > .sticky {
    display: block;
    width: 200px;
    height: 90vh;
    position: sticky;
    top: 100px;
    padding-bottom: 1rem;
  }

}


@media (min-width: 768px) {
  #nav-toggle, #nav-toggle.show {
    display: grid;
    grid-template-columns: min-content;
    grid-template-columns: repeat(7, min-content );
 
    position: unset;
    right: unset;
    background-image: none;
    padding: 0;
    box-shadow: none;
  }

  .nav-toggle {
    display: none;
  }

  .dropdown-item {
    position: absolute;
    top:45px;
    padding: 10px;
    z-index: 1040; 
    border-radius: 10px;
  }
}

/* -------------------------
   ----- Medium Screen -----
   ------------------------- */



@media (min-width: 768px) {
  .strong { padding: 0; }

  .menu_column {
    display:grid;
    grid-template-columns: 200px 1fr;
    grid-column-gap: var(--spacing);
  }

  .twocolumn {
    display:grid;
    grid-template-columns: 1fr 1fr;
    grid-column-gap: var(--spacing);
    grid-row-gap: var(--gridpacing);
  }

  .twocolumn.middle {
      grid-template-columns: 1fr;
      grid-column-gap: var(--spacing);
      grid-row-gap: var(--gridspacing);
  }

  .twocolumn.even {
    grid-template-columns: 1fr 1fr;
    grid-column-gap: var(--spacing);
    grid-row-gap: var(--gridspacing);
  }

  .twocolumn.middle > div {
    max-width:600px;
    margin: 0 auto!important;
  }

  .twocolumn.leftside {
    display: grid;
    flex-direction: unset;
  }

  .twocolumn.right {
    grid-template-columns: 1.5fr 1fr;
  }

  .twocolumn > div {
    margin:0;
  }
}


@media (min-width: 990px) {
  .header { 
    max-width:800px;
    grid-template-columns: 100px 1fr;
  }
}


@media (min-width: 990px) {
  .licence-ops {
    display: grid;
    grid-template-columns: 1fr 1fr 1fr;
    column-gap: 25px;
  }

  .card {
    margin: 0;
  }

  .card-body {
    padding: 0 1.25rem;
  }

  .licence-ops .card-body { 
    min-height: 365px;
  }

  .licence-ops .card-footer {
    min-height: 130px;
  }

  .licence-ops ul {
    padding-left: 1.5rem;
  } 

   #licence.selected {
    grid-template-columns: repeat(3, 1fr);
  }
}





