/* http://meyerweb.com/eric/tools/css/reset/ 
   v2.0 | 20110126
   License: none (public domain)
*/

html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
b, u, i, center,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed, 
figure, figcaption, footer, header, hgroup, 
menu, nav, output, ruby, section, summary,
time, mark, audio, video {
	margin: 0;
	padding: 0;
	border: 0;
	font-size: 100%;
	font: inherit;
	vertical-align: baseline;
}
/* HTML5 display-role reset for older browsers */
article, aside, details, figcaption, figure, 
footer, header, hgroup, menu, nav, section {
	display: block;
}
body {
	line-height: 1;
}
ol, ul {
	list-style: none;
}
blockquote, q {
	quotes: none;
}
blockquote:before, blockquote:after,
q:before, q:after {
	content: '';
	content: none;
}
table {
	border-collapse: collapse;
	border-spacing: 0;
}

/* End reset */

body, input {
	font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
	font-size: 16px;
	line-height: 1.6;
	color: #1a1a1a;
}

h1, h2, h3, h4, h5 {
  font-weight: bold;
}

h1, h2 {
	font-size: 24px;
	margin-top: 18px;
	margin-bottom: 16px;
}

h2:first-of-type {
	margin-top: 10px;
}

h3 {
	font-size: 20px;
	margin-top: 16px;
	margin-bottom: 16px;
}

h4 {
	font-size: 18px;
	margin-top: 16px;
	margin-bottom: 16px;
}

h5 {
	font-size: 16px;
	margin-top: 14px;
	margin-bottom: 14px;
}

a {
	color: #4040C0;
	text-decoration: none;
}

a:hover {
	color: #6060E0;
	text-decoration: underline;
	/* background-color: #fcfcfc; */
	cursor: pointer;
}

strong {
	font-weight: bold;
}

em {
	font-style: italic;
}

p, pre, ul {
	margin-bottom: 14px;
}

pre, code {
  font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, Courier, monospace;
	font-size: 15px;
}

pre {
	padding-bottom: 10px;
	padding-left: 14px;
	padding-right: 14px;
	padding-top: 10px;
	overflow-x: scroll;
}

code {
	padding-top: 3px;
	padding-bottom: 3px;
	padding-left: 5px;
	padding-right: 5px;
	background-color: #fcfcfc;
	color: #606aa1;
	border: 1px solid #f0f0f0;
	border-radius: 6px;	
	margin-left: 2px;
	margin-right: 2px;
}

ul {
	list-style-type: disc;
}

li {
	margin-left: 20px;
	margin-bottom: 5px;
}

input[type=text] {
	font-size: 22px;
	padding-left: 6px;
	padding-right: 6px;
	color: #1a1a1a;
}

nav {
	background-color: #fcfcfc;
	border-bottom: 1px solid #f0f0f0;
	width: 100%;
}

nav .nav-container {
	line-height: 50px;
	margin-left: 10%;
	margin-right: 10%;
	padding-left: 30px;
  padding-right: 30px;
}

nav .nav-container a {
	margin-right: 16px;
	font-weight: bold;
}

nav .nav-container a.active {
	color: #1a1a1a;
}

.mobile-nav-container {
	padding-top: 18px;
	padding-bottom: 18px;
}

.custom-select {
	position: relative;
	background-color: white;
	border-radius: 4px;
	overflow: hidden;
	border: 1px solid rgba(0, 0, 0, 0.12);
}

.custom-select:after {
	top: 20px;
	right: 10px;
	z-index: 0;
	content: '';
	display: block;
	position: absolute;
	border-top: 6px solid black;
	border-left: 6px solid transparent;
	border-right: 6px solid transparent;
	border-bottom: 6px solid transparent;
}

nav .nav-container select {
	z-index: 1;
	width: 100%;
	height: 44px;
	font-size: 16px;
	line-height: 44px;
	appearance: none;
	position: relative;
	border: 0;
	border-radius: 0;
	padding-left: 10px;
	-webkit-appearance: none;
	background-color: transparent;
}

nav .nav-container select:focus {
	outline: none;
}

.main-content {  
  background-color: #fff;
  margin-bottom: 30px;
  margin-left: 10%;
  margin-right: 10%;
  margin-top: 0px;
	padding-bottom: 30px;
  padding-left: 30px;
  padding-right: 30px;
  padding-top: 10px;
}

.editor {
	border: 1px solid #f0f0f0;
	border-radius: 6px;
	background-color: #fcfcfc;
}

.languages {
	list-style-type: none;
}

.languages > li {
	margin-left: 0px;
	margin-bottom: 0px;
}

.languages > li h3 {
	margin-top: 0px;
	margin-bottom: 4px;
}

.cardinalities, .cardinality-ranges, .ordinalities {
	overflow-x: scroll;
	list-style-type: none;
}

.cardinalities li, .cardinality-ranges li, .ordinalities li {
	margin-left: 0px;
}

.cardinalities h5, .cardinality-ranges h5, .ordinalities h5 {
	margin-top: 0px;
}

.warning-message {
	background-color: #fcf8e3;
	border: 1px solid #faf2cc;
	color: #8a6d3b;
	border-radius: 6px;
	padding: 6px;
}

@media only screen and (max-width : 768px) {
	.main-content {
	  margin-left: 10px;
	  margin-right: 10px;
		margin-bottom: 0px;
		padding-left: 10px;
	  padding-right: 10px;
	}
	
	nav .nav-container {
		margin-left: 10px;
		margin-right: 10px;
		padding-left: 10px;
	  padding-right: 10px;
	}
	
	.hidden-for-desktop {
		display: block;
	}
	
	.hidden-for-mobile {
		display: none;
	}
}

@media only screen and (min-width : 768px) {
	.hidden-for-desktop {
		display: none;
	}
	
	.hidden-for-mobile {
		display: block;
	}
}

/* Rule for "design goals" at top */
body ul:first-of-type li, body ul:nth-of-type(2) li {
	margin-bottom: 0px;
}