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

:root {
 --snmp4j-dark-green: #b8ccb8;
 --snmp4j-dark-logo-green: #8FB298;
 --snmp4j-green: #99cccc;
 --snmp4j-light-green: #D7EEEE;
 --snmp4j-logo-green: #B8CCB8;
 --snmp4j-light-logo-green: #F8FCF8;
 --agentpp-red: #993333;
}

body {
    counter-reset: footnotecounter;
}

span.footnote:before {
  counter-increment: footnotecounter;
  content: counter(footnotecounter);
  position: relative;
  top: -0.4em;
  font-size: 80%;
}

span.footnote {
    color: var(--snmp4j-light-green);
}

.bg-snmp4j-light-green {
  background-color: var(--snmp4j-light-logo-green) !important;
}

a.bg-snmp4j-light-green:hover, a.bg-snmp4j-light-green:focus,
button.bg-snmp4j-light-green:hover,
button.bg-snmp4j-light-green:focus {
  background-color: var(--snmp4j-light-logo-green) !important;
}



.jumbotron {
	background-color: white
}

.btn-download {
	color: white;
	background-color: var(--snmp4j-logo-green);
	border-color: var(--snmp4j-logo-green);
}

.btn-primary {
	color: white;
	background-color: var(--agentpp-red);
	border-color: var(--agentpp-red);
}