/* WebAssembly.fr */

.top {
	font-size:36px;
	font-family: "Liberation Mono", "Times New Roman", Arial;
	margin: 16px 64px 16px 64px;
	height:80px;
}

:root {
  --bg-color: #ffffff;
  --text-color: #1a1a1a;
  --shadow-intensity: rgba(0, 0, 0, 0.2);
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg-color: #000000;
    --text-color: #ffffff;
    --shadow-intensity: rgba(255, 255, 255, 0.4);
  }
}

body {
  background-color: var(--bg-color);
  color: var(--text-color);
  transition: all 0.3s ease; 
  font-family: 'Arial', sans-serif;
  line-height: 1.4;
}

.thr {
	background: #ccc;
	background: linear-gradient(to left, rgba(200,200,200,0), rgba(200,200,200,1)); 
	margin:0 0 16px 0;	
	height:6px;
}

@media (prefers-color-scheme: dark) {
	.thr {
	background: #999;
	background: linear-gradient(to left, rgba(50,50,50,0), rgba(50,50,50,1)); 
	}
}


.wrapper {
	margin:32px 34px 32px 48px;
}

.footer {
	background-color:inherit;
	border:1px solid #CCC;
	border-radius:8px;
	padding:12px 16px 12px 16px;
	text-align:center;
	position:fixed;
	bottom:8px;
	left:16px;
	right:16px;
	opacity:0.5;
}


a {
  color: #69F !important;
  text-decoration: none;
}

@media (prefers-color-scheme: dark) {
  a {
    color: #9cf !important; 
  }
}

a:hover {
  text-decoration: underline;
}


h1 {
	font-size:24px;
}

h2 {
	font-size:20px;
	margin-top:32px;
}

h3 {
	font-size:16px;
	font-style:normal;
	font-weight:bold;
}

dt {
	font-weight:bold;
}

.post {
	padding-bottom:48px;
}

pre {
  	background: #fdf8f4 !important;
	max-width:80%;
	border: 1px #333;  
	border-radius: .2rem;	
	overflow-y: hidden;
	margin:16px;
	padding:4px !important;
	box-shadow: rgba(0, 0, 0, 0.16) 0px 3px 6px, rgba(0, 0, 0, 0.23) 0px 3px 6px !important;
}

pre > code { 
	white-space:pre;
  	background: #f8f4f0 !important;
}


@media (prefers-color-scheme: dark) {
	pre {
  		background: #ada8a4 !important;
		max-width:80%;
		border: 1px #666;  
		border-radius: .2rem;	
		overflow-y: hidden;
		margin:16px;
		padding:4px !important;
		box-shadow: rgba(0, 0, 0, 0.16) 0px 3px 6px, rgba(255, 255, 255, 0.23) 0px 3px 6px !important;
	}

	pre > code { 
		white-space:pre;
	  	background: #a8a4a0 !important;
	}
}

hr {
  border: 0;
  border-top: 0.1rem solid #f4f5f6;
  margin: 3.0rem 0;
}

.left {
	float:left;
	margin-right:8px;
	margin-bottom:8px;
}

.right {
	float: right;
	margin-left:8px;
	margin-bottom:8px;
}

.shaded {
  box-shadow:3px 3px 6px #888888; 
}