:root {
	/* Note: The icons have the color #3AB51F */
	--v_TOP_COLOR: #1EC721;         /* was #E28922 Dark orange. */
	--v_TITLE_COLOR: #3AB51F;       /* was #FF5500 Used in page titles. */
	--v_HOVER_COLOR: #2FF225;       /* was #FFCC00 Gold (code also used in Menu.js. */
	--v_TITLE_BACKGROUND: #EBF5E9;  /* was #F8ECE0 Light orange background behind the title of "display" pages. */
	--v_HIGHLIGHT_COLOR: #FF0000;   /* was #FF0000 Red. */
	--v_LOWLIGHT_COLOR: #C0C0C0;    /* was #C0C0C0 Silver; used for non-validated text. (Unused in Design 2.0) */

	/* Introduced by Daniel */
	--v_LINK: #008000;
	--v_LINK_VISITED: #008030;
	--v_BORDER_COLOR: #3AB51F;
	--v_MOBILE_MENU_BACKGROUND: #333333; /* also used for "wrapper" (what is that?) */
	--v_MOBILE_MENU_BUTTON: #444444;
}

/** Style for all pages **/
#standards {
	width: 100%;
	margin-left: auto;
	margin-right: auto;
	padding: auto;
	display: block;
	display: block;
	height: auto;
}

#what_is_an_OID, #table_faq, #table_search_in_basic_search, #management, #management_mobile, #reg_in_regexp, #oid_validate_mobile {
	width: 100%;
	margin-left: auto;
	margin-right: auto;
	float: left;
	padding: auto;
	display: block;
	height: auto;
}

#allocated_in_index, #repository_in_index, #explanations_in_index {
	width: 100%;
	margin-left: auto;
	margin-right: auto;
	float: left;
	padding: auto;
	display: none;
	height: auto;
}

#table_display_in_index, #extraction {
	width: 100%;
	margin-left: auto;
	margin-right: auto;
	float: left;
	/*padding: 0.5%;*/
	display: block;
	height: auto;
}

#table_draw_in_index, #table_add_in_index, #warning_in_index, #number_oid_in_index, #table_answers_in_faq, #name-forms {
	width: 100%;
	margin-left: auto;
	margin-right: auto;
	margin-top: 2%;
	float: left;
	/*padding: 0.5%;*/
	display: block;
}

#introduction {
	width: 98%;
	margin-left: auto;
	margin-right: auto;
	float: left;
	padding-left: 2%;
	display: block;
}

#manage_in_management {
	width: 99%;
	margin-left: auto;
	margin-right: auto;
	margin-top: 2%;
	float: left;
	/*padding: 0.5%;*/
	display: block;
}

#errors, #errors_mobile {
	width: 100%;
	margin-left: auto;
	margin-right: auto;
	margin-top: 2%;
	margin-bottom: 2%;
	float: left;
	padding: auto;
	display: block;
	height: auto;
}

#count_in_management, #country_in_management, #search_replace_in_management, #admin_in_management, #execute_in_management, #accounts_in_management,
#display_example_in_management, #explanations_in_management, #registrant_chart_in_management {
	width: 98%;
	margin-left: auto;
	margin-right: auto;
	margin-top: 2%;
	float: left;
	/*padding: 1%;*/
	display: none;
}

#main_actions_in_index {
	width: 100%;
	margin-left: auto;
	margin-right: auto;
	height: auto;
	max-width: 750px;
	min-width: 300px;
}

.rounded {
	-webkit-border-radius: 20px;
	-moz-border-radius: 20px;
	border-radius: 20px;
}

#menu {
	width: 98%;
	margin-right: 2%;
	margin-top: 2%;
}

#menu ul {
	float: right;
	padding: 0;
	margin: 0;
	list-style: none;
	line-height: 35px;
	text-align: left;
}

#menu li {
	margin: auto;
	padding: 0;
	background-color: black;
	position: relative;
}

#menu li a:before {
	/*content: "· ";*/
	content: "> ";
}

#menu li a {
	display: block;
	background: var(--v_TOP_COLOR);
	color: white;
	text-decoration: none;
	width: 150px;
	padding: 0px 15px 0px;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 11px;
	font-weight: bold;
	line-height: 20px;
	border-bottom: 1px !important;
	border-color: var(--v_TOP_COLOR) !important;
	border-bottom-style: solid !important;
}

#menu li img {
	display: block;
	background: var(--v_TOP_COLOR);
	width: 20px;
	padding: 0px 15px 0px;
}

#menu li a:hover {
	background: var(--v_HOVER_COLOR);
}

#menu ul li ul {
	display: none;
}

#menu ul li:hover ul {
	display: block;
}

#menu li:hover ul li {
	float: none;
}

#menu li ul {
	position: absolute;
}

#header img {
	display: inline;
	float: left;
}

#header_url_and_menu {
	width: 100%;
}

#header_menu_right {
	float: inline;
	margin-left: 32%;
	position: absolute;
}

#country-oid-general, #country-oid-title {
	width: 100%;
	margin-left: auto;
	margin-right: auto;
	margin-top: 2%;
	float: left;
	/*padding: 0.5%;*/
	display: block;
}

#country-oid-check-list, #country-oid-template, #country-oid-RAS {
	width: 100%;
	margin-left: auto;
	margin-right: auto;
	margin-top: 2%;
	float: left;
	/*padding: 0.5%;*/
	display: none;
}

.searchspan {
	color: var(--v_TOP_COLOR);
	font-family: Arial, Helvetica, sans-serif;
	font-size: 14px;
	font-weight: bold;
}
/** end style for all pages **/

.question {
	font-weight: bold;
}

/**Screen version**/
@media (min-width: 768px) {

	.only_on_mobile {
		display: none !important;
	}

	.only_on_desktop {
		display: block;
	}

	#header_h1 {
		color: var(--v_TOP_COLOR);
		font-size: 50px;
		font-weight: bold;
		text-decoration: none !important;
		float: none !important;
	}

	#header_url {
		float: left;
		color: var(--v_TOP_COLOR);
		font-size: 23px;
		font-weight: bold;
		margin-left: 10px;
		display: inline-block;
	}

	#header_mobile, #remote_button, #navigation {
		display: none;
	}

	#global_container {
		display: block;
	}

	#footer {
		display: block;
		clear: both; /* remove left-float */
		position: relative;
	}

	#main_actions_in_index {
		display: block;
	}

	#section_menu_in_management {
		display: block;
	}

	#manage_in_management {
		display: block;
	}

	#errors_mobile, #management_mobile {
		display: none;
	}

	#errors, #management {
		display: block;
	}

	#oid_validate_mobile {
		display: none;
	}

	#country-oid-title {
		display: block;
	}

	#country-oid-general {
		display: block;
	}

	body {
		font-family: arial,sans-serif;
	}
	/***Page header***/
	#global_container {
		width: 800px;
		max-width: calc( 100% - 20px );
		height: auto;
		margin: 0px auto 0px;
		padding: 0px;
		position: relative;
	}

	#header {
		width: 760px;
		max-width: calc( 100% - 20px );
		height: 110px;
		background-color: var(--v_TITLE_BACKGROUND);
		margin-top: 22px;
		padding: 20px;
		position: relative;
		margin: 0px auto 0px;
	}

	#header_h1 {
		position: relative;
		font-weight: bold;
		display: inline;
		float: left;
		margin: -10px 0px 0px 10px;
	}

/* unused?!
	#bg_menu {
		width: 779px;
		max-width: calc( 100% - 20px );
		height: 41px;
		background-color: #5f5f5f;
		padding: 0px 21px 0px 0px;
		margin-bottom: 14px;
		position: relative;
		z-index: 1200;
	}
*/

	#header_menu {
		font-weight: bold;
		font-family: Arial;
	}

	#header_menu, #header_menu ul {
		float: right;
		padding: 0;
		margin: 0;
		list-style: none;
		line-height: 35px;
		text-align: left;
	}

	html > body #header_menu li {
		border-right: 1px solid transparent;
	}

	#header_menu li {
		float: left;
		border-right: 1px solid #fff;
	}

	#header_menu a {
		display: block;
		background: var(--v_TOP_COLOR);
		color: white;
		text-decoration: none;
		width: auto;
		padding: 0px 15px 0px;
		text-transform: uppercase;
		font-family: Arial, Helvetica, sans-serif;
		font-size: 14px;
		font-weight: bold;
	}

	#header_menu img {
		display: block;
		background: var(--v_TOP_COLOR);
		color: white;
		margin-left: 0px;
	}

	#header_menu a:hover {
		background: var(--v_HOVER_COLOR);
	}

	#header_menu img:hover {
		background: var(--v_HOVER_COLOR);
	}

	/*** Vertical menu ***/
	.vertical_menu {
		width: 190px;
		margin-left: 73.5%;
		height: 297px;
		background-color: var(--v_TOP_COLOR);
		text-align: left;
		border: 3px solid var(--v_TOP_COLOR);
	}

	.vertical_menu ul {
		margin: 0;
		padding: 0;
		width: 100%;
		list-style-type: none;
	}

	.vertical_menu ul li a {
		text-decoration: none;
		color: white;
		padding: 10.5px 11px;
		background-color: var(--v_TOP_COLOR);
		display: block;
		font-size: 17px;
	}

	.vertical_menu ul li a:hover, .vertical_menu ul li .current {
		background-color: var(--v_HOVER_COLOR);
	}

	/*** banner ***/
	#wrapper_carousel {
		position: relative;
		width: 60%;
		height: 300px;
		margin-bottom: 15px;
		float: left;
		margin-left: 7px;
	}

	/***************************/

	a img {
		border: none;
	}

	#content h1 {
		font-weight: bold;
		font-size: 20px;
	}

	#search {
		position: absolute;
		left: 700px;
	}

	#google_translate {
		display: inline;
		float: right;
	}

	#global_content {
		width: 800px; /* 760 + 2*20 */
		max-width: calc( 100% - 20px );
		height: auto;
		background-color: white;
		padding: 20px;
		position: relative;
		margin: 0px auto 0px;
		margin-top: 20px;
	}

	#error400, #error403-404, #error500 {
		width: 750px;
		max-width: calc( 100% - 20px );
		border: 3px solid #7f7f7f;
		margin-left: auto;
		margin-right: auto;
		float: center;
		padding: 3px;
		display: block;
		height: auto;
	}

	div.clear {
		clear: both;
	}

	.page_title {
		font-weight: bold;
		/*font-size: 18px;*/
		font-size: 25px;
		color: var(--v_TITLE_COLOR);
	}

	.page_subtitle {
		font-weight: bold;
		font-size: 20px;
		color: var(--v_TITLE_COLOR);
	}

	.section_title {
		font-size: 16px;
		color: var(--v_TITLE_COLOR);
		font-weight: bold;
	}

	.action_title {
		font-size: 16px;
		color: black;
	}

	#global_in_index {
		width: 101%;
	}
	/*** FAQ ***/
	.question, .answer {
		/*
		margin-left: 30px;
		padding: 10px;
		display: block;
		width: 95%;
	 */
	}

	.answer {
		display: block;
		width: auto;
		height: auto;
	}
	/*** Management page menu ***/
	#menu_manage {
		font-weight: bold;
		font-family: Arial;
	}

	#menu_manage, #menu_manage ul {
		padding: 0;
		margin: 0;
		list-style: none;
		line-height: 35px;
		text-align: left;
	}

	html > body #menu_manage li {
		border-right: 1px solid transparent;
	}

	#menu_manage li {
		float: left;
		border-right: 1px solid #fff;
	}

	#menu_manage a {
		display: block;
		background: var(--v_TOP_COLOR);
		color: white;
		text-decoration: none;
		width: auto;
		padding: 0px 8px 0px;
		text-transform: uppercase;
		font-family: Arial, Helvetica, sans-serif;
		font-size: 14px;
		font-weight: bold;
	}

	#menu_manage a:hover {
		background: var(--v_HOVER_COLOR);
	}

	#section_menu_in_management {
		width: 100%;
		max-width: calc( 100% - 20px );
		height: 41px;
		/*background-color: #5f5f5f;*/
		padding: 0px 21px 0px 0px;
		margin-top: 20px;
		margin-bottom: 14px;
		position: relative;
		z-index: 1200;
	}
}
/* end of Screen media query */

/* mobile styles */
@media (max-width: 767px) {
	
	.only_on_mobile {
		display: block;
	}

	.only_on_desktop {
		display: none !important;
	}

	#header_h1 {
		color: var(--v_TOP_COLOR);
		font-size: 40px;
		font-weight: bold;
		text-align: left;
		text-decoration: none !important;
		float: none !important;
		text-indent: 0px !important;
		margin-left: 0px !important;
		margin-bottom: 5px !important;
		margin-top: 5px !important;
	}

	#header_url {
		float: left;
		color: var(--v_TOP_COLOR);
		font-size: 25px;
		font-weight: bold;
		display: inline-block;
		text-align: left;
	}

	#mobile_version {
		display: block;
	}

	#global_container {
		display: none;
	}

	#footer {
		display: none;
	}

	#global_in_index {
		display: none;
	}

	#header_mobile {
		background-color: var(--v_TITLE_BACKGROUND);
	}

	#header_mobile {
		/*Daniel: If it is "block", then the header will not be stretched on 540px width (Surface Duo) */
		/*display: block;*/
	}

	#remote_button {
		display: block;
	}

	#navigation {
		display: block;
	}

	#main_actions_in_index {
		display: none;
	}

	#section_menu_in_management {
		display: none;
	}

	#manage_in_management {
		display: none;
	}

	#errors_mobile, #management_mobile {
		display: block;
	}

	#errors, #management {
		display: none;
	}

	#oid_validate_mobile {
		display: block;
	}

	#country-oid-title {
		display: none;
	}

	#country-oid-general {
		display: none;
	}

	input[type=text] {
		/* DM 02.04.2023 */
		/*width: 50%;*/
		max-width: 90vw; /* 90% viewport width */
	}
	/* wrapper styles */
	.wrapper {
		position: absolute;
		min-height: 100vh;
	}

	.wrapper_in_management {
		position: absolute;
		min-height: 150vh;
	}

	.sidebar {
		position: absolute;
		top: 0;
		width: 50vw;
		min-height: 100vh;
	}

	.wrapper {
		transform: translateX(0) translateZ(0);
		transition: transform .2s;
		will-change: transform;
	}

	.wrapper_in_management {
		transform: translateX(0) translateZ(0);
		transition: transform .2s;
		will-change: transform;
	}
	/* Button deco */
	[class^="nav-button"] {
		display: block;
		z-index: 1;
		height: 3rem;
		width: 3.5rem;
		background-color: transparent;
		background-image: linear-gradient(to right, var(--v_TOP_COLOR), var(--v_TOP_COLOR)), linear-gradient(to right, var(--v_TOP_COLOR), var(--v_TOP_COLOR)), linear-gradient(to right, var(--v_TOP_COLOR), var(--v_TOP_COLOR));
		background-position: center top, center, center bottom;
		background-repeat: no-repeat;
		background-size: 3.5rem .6rem;
		padding: 0;
		outline: 0;
		border: 0;
		cursor: pointer;
	}
	/* here's goes the push left effect */
	body:target .wrapper {
		transform: translateX(50vw);
	}

	body:target .wrapper_in_management {
		transform: translateX(50vw);
	}

	.nav-button-close,
	body:target .nav-button-open {
		display: none;
	}

	.nav-button-open,
	body:target .nav-button-close {
		display: block;
	}

	* {
		box-sizing: border-box;
	}

	html {
		font-size: 62.5%;
	}

	body {
		margin: 0;
		padding: 0;
		color: white;
		font-size: 1.3em;
		font-family: arial, sans-serif;
	}

	#navigation a {
		color: white;
		font-weight: bold;
		text-decoration: none !important;
	}

	.wrapper {
		background-color: white;
		color: var(--v_MOBILE_MENU_BACKGROUND);
		width: 100%;
	}

	.wrapper_in_management {
		background-color: white;
		color: var(--v_MOBILE_MENU_BACKGROUND);
		width: 100%;
	}

	.sidebar {
		padding-top: 1em;
		background: var(--v_MOBILE_MENU_BACKGROUND);
		color: #ddd; /* does not seem to do anything?! */
	}

	nav a {
		display: block;
		padding: .7em;
		margin-bottom: 2px;
		text-decoration: none;
		background: var(--v_MOBILE_MENU_BUTTON);
	}

	aside nav a:hover {
		background-color: var(--v_TOP_COLOR);
	}

	.vertical_menu {
		width: 30%;
		height: 300px;
		background-color: var(--v_TOP_COLOR);
		text-align: left;
	}

	.vertical_menu ul {
		margin: 0;
		padding: 0;
		width: 28;
		list-style-type: none;
	}

	.vertical_menu ul li a {
		text-decoration: none;
		color: white;
		padding: 10.5px 11px;
		background-color: var(--v_TOP_COLOR);
		display: block;
		font-size: 17px;
	}

	.vertical_menu ul li a:hover, .vertical_menu ul li .current {
		background-color: var(--v_HOVER_COLOR);
	}

	#header_mobile {
		width: 100%;
	}

	#left_bouton {
		margin-left: 0px;
		width: 50%;
	}

	#right_title {
		width: 50%;
		margin-left: 60%;
		margin-top: 0px;
	}

	.myButton {
		-moz-box-shadow: inset 0px 1px 0px 0px #ffffff;
		-webkit-box-shadow: inset 0px 1px 0px 0px #ffffff;
		box-shadow: inset 0px 1px 0px 0px #ffffff;
		background: -webkit-gradient(linear, left top, left bottom, color-stop(0.05, #f9f9f9), color-stop(1, #e9e9e9));
		background: -moz-linear-gradient(top, #f9f9f9 5%, #e9e9e9 100%);
		background: -webkit-linear-gradient(top, #f9f9f9 5%, #e9e9e9 100%);
		background: -o-linear-gradient(top, #f9f9f9 5%, #e9e9e9 100%);
		background: -ms-linear-gradient(top, #f9f9f9 5%, #e9e9e9 100%);
		background: linear-gradient(to bottom, #f9f9f9 5%, #e9e9e9 100%);
		filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#f9f9f9', endColorstr='#e9e9e9',GradientType=0);
		background-color: #f9f9f9;
		-moz-border-radius: 15px;
		-webkit-border-radius: 15px;
		border-radius: 15px;
		border: 1px solid #dcdcdc;
		display: inline-block;
		cursor: pointer;
		color: #666666;
		font-family: Arial;
		font-size: 13px;
		font-weight: bold;
		text-decoration: none;
		text-shadow: 0px 1px 0px #ffffff;
		width: 100%;
		height: 100px;
		text-align: center;
		vertical-align: center;
		padding-top: 10px;
	}

	.myButton img {
		height: 60px;
		width: auto;
	}

	.myButton:hover {
		background: -webkit-gradient(linear, left top, left bottom, color-stop(0.05, #e9e9e9), color-stop(1, #f9f9f9));
		background: -moz-linear-gradient(top, #e9e9e9 5%, #f9f9f9 100%);
		background: -webkit-linear-gradient(top, #e9e9e9 5%, #f9f9f9 100%);
		background: -o-linear-gradient(top, #e9e9e9 5%, #f9f9f9 100%);
		background: -ms-linear-gradient(top, #e9e9e9 5%, #f9f9f9 100%);
		background: linear-gradient(to bottom, #e9e9e9 5%, #f9f9f9 100%);
		filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#e9e9e9', endColorstr='#f9f9f9',GradientType=0);
		background-color: #e9e9e9;
	}

	.myButton:active {
		position: relative;
		top: 1px;
	}
	
	.myButton {
		text-decoration: none !important;
		color: #444444 !important;
	}

	.section_title {
		font-size: 12px;
		color: var(--v_TITLE_COLOR);
		font-weight: bold;
	}

	.action_title {
		font-size: 12px;
		color: black;
	}

	html, body {
		overflow-x: hidden;
	}

	#question {
		display: block;
		width: 95%%;
	}

	.page_title {
		font-weight: bold;
		font-size: 16px;
		color: var(--v_TITLE_COLOR);
	}

	.page_subtitle {
		font-weight: bold;
		font-size: 12px;
		color: var(--v_TITLE_COLOR);
	}
}
/* end of mobile media query */
/*Dynamic web page*/

.note {
	font-size: 11px;
}

span.background_orange {
	background-color: var(--v_BORDER_COLOR);
}

.color_orange {
	color: var(--v_TITLE_COLOR);
}

.color_red {
	color: var(--v_HIGHLIGHT_COLOR);
}
/* End dynamic web page*/

#content_replace_in_search_replace {
	width: 760px;
	max-width: calc( 100% - 20px );
	height: auto;
	/*background-color: #5f5f5f;*/
	padding: 20px;
	position: relative;
	margin: 0px auto 0px;
	margin-top: 20px;
}

#content_code_in_country_code {
	width: 930px;
	max-width: calc( 100% - 20px );
	height: auto;
	/*background-color: #5f5f5f;*/
	padding: 20px;
	position: relative;
	margin: 0px auto 0px;
	margin-top: 20px;
}

#country-code {
	width: 920px;
	max-width: calc( 100% - 20px );
	margin-left: auto;
	margin-right: auto;
	background: var(--v_TITLE_BACKGROUND);
	padding: 3px;
	display: block;
	height: auto;
}

#replace {
	width: 98%;
	margin-left: auto;
	margin-right: auto;
	/*padding: 1%;*/
	display: block;
	height: auto;
}

#advanced_search {
	width: 98%;
	margin-left: auto;
	margin-right: auto;
	float: left;
	/*padding: 1.2%;*/
	display: block;
	height: auto;
}

/* Taken from the old design */

a:link {
	text-decoration: underline;
	/*font-family:Helvetica Neue Light 45;*/
	color: var(--v_LINK);
}

a:visited {
	text-decoration: underline;
	color: var(--v_LINK_VISITED);
}

a:hover {
	text-decoration: underline;
	background-color: var(--v_HOVER_COLOR);
}

a:active :not(.nav-button-open) :not(.nav-button-close) {
	text-decoration: underline;
	background-color: var(--v_HOVER_COLOR);
}

body {
	font-family: "Helvetica Neue Light 45",sans-serif;
	color: black;
	background-color: white;
}

/* Misc additions by Daniel */

a img:hover {
	/* TODO: when you hover over an image, you still can see yellow below the image?! */
	/* But the image has no background anymore (can be seen on the transparent OCaml logo */
	text-decoration: none !important;
	background-color: none !important;
}

.withborder {
	padding: 10px;
	border-style: solid;
	border-width: 1px;
	border-color: var(--v_BORDER_COLOR);
}

#disclaimer_wrapper {
	width: 100%;
	text-align: center;
}

#disclaimer {
	/*padding-left: 10px;
	padding-right: 10px;
	width: 800px;
	max-width: calc( 100% - 20px );*/
	text-align: left;
	/*margin-left: auto;
	margin-right: auto;*/
}

#searchbox_mobile {
	width: 100%;
}

.turing-test{
	opacity: 0;
	position: absolute;
	top: 0;
	left: 0;
	height: 0;
	width: 0;
	z-index: -1;
}