/*
This file could be used under both CC-BY-SA 4.0 or at your chosing GNU GPLv3 or any later version
*/

html {}

* {
    background-color: #311a46;
    font-size: 20px;
    list-style-type: none;

}

body{
    color: #95bcf2;
    font-family:Open Sans;
    font-weight: bold;

    margin-top: 5%;
    margin-bottom: 5%;
    margin-right: 20%;
    margin-left: 20%;
}

@font-face {
  font-family: "Open-Sans-Extrabold" Open Sans;
  /*src: url(/font);*/
}

pre {
    /*background: #a89984;*/
    border: 10px solid #928374;
    border-radius: 10px;
    padding: 1em;
    margin: 1em;
    white-space: pre-wrap;
}

h1 {
    font-size: 30px;
    color: #CC35F0;
}

h2 {
    font-size: 25px;
    color: #FFFFFF;
}

h3 {
    font-size: 22px;
    color: #3798DD;
}

code {
	background-color: #9B744E;
	/*border: 5px solid #928374;*/
	border-radius: 5px;
	word-wrap: break-word;
	overflow-wrap: break-word;
}

ul li {
    list-style: inside circle;
    display:list-item;
}

table {
  border-collapse: collapse;
  border: 2px solid #7c6f64;
} 

th,td {
  border: 2px solid #7c6f64;
}

a {
    color: #C648EA;
}

a:hover {
    color: #DB82F4;
}

img {
    max-width: 50%;
    height: auto;
}
input[type=text] {
  padding: 12px 20px;
  margin: 8px 0;
  box-sizing: border-box;
  border: 0px solid black;
  background-color: #b058c6;
  color: #311a46;
  font-weight: bold;
}
button {
  padding: 12px 20px;
  margin: 8px 0;
  box-sizing: border-box;
  border: 0px solid black;
  background-color: #b058c6;
  color: #311a46;
  font-weight: bold;
}
summary {
    color: #b058c6;
    font-weight: bold;
}
summary:hover, summary:hover > h1 {
    color: white;
    cursor: pointer;
}
button:hover, input:hover, button:focus, input:focus {
    background-color: #3798DD;
    color: white;
}

hr {
    border-top: 1px solid #b058c6;
}
  
p {
    margin-right: 5%;
    margin-left: 5%;
}
}