ghcup-hs/docs/css/extra.css

h2
{
    border-bottom:1px solid #CCC;
    padding-bottom:5px;
    padding-top:15px;
}

h1 {
    text-align: center;
    font-size: 60px;
    font-weight: 300;
    padding-top:15px;
}

h3 {
    font-size: 30px;
    padding-top:10px;
}

h4 {
    font-size: 25px;
    padding-top:10px;
}


div.col-md-9 h1:first-of-type {
    text-align: center;
    font-size: 60px;
    font-weight: 300;
}

div.col-md-9>p:first-of-type {
    text-align: center;
}

div.col-md-9 p.admonition-title:first-of-type {
    text-align: left;
}

div.col-md-9 h1:first-of-type .headerlink {
    display: none;
}

code.no-highlight {
    color: black;
}

div.gh-badge img {
	margin: 0;
	padding: 0;
	height: 25px;
}

a.donate-badge img {
	margin-top: 10;
	margin-bottom: 0;
	padding: 0;
	height: 35px;
}

/* Definition List styles */

dd {
    padding-left: 20px;
}

/* Homepage */

body.homepage div.jumbotron {
    margin-top: 1.5rem;
    padding-top: 1rem;
    padding-bottom: 0;
}

body.homepage div.jumbotron div.card {
    margin-bottom: 2rem;
}

body.homepage>div.container div.col-md-3 {
    display: none;
}

body.homepage>div.container div.col-md-9 {
    margin-left: 0;
    padding-left: 0;
    flex: 0 0 100%;
    max-width: 100%;
}

.center {
    display: block !important;
}

.bg-primary {
    background-image: -webkit-gradient(linear, left top, left bottom, from(#996FC2), color-stop(60%, #6A478D), to(#5E5086)) !important;
    background-image: linear-gradient(#996FC2, #6A478D 60%, #5E5086) !important;
    background-repeat: no-repeat !important;
}

.btn-primary {
    background-image: -webkit-gradient(linear, left top, left bottom, from(#996FC2), color-stop(60%, #6A478D), to(#5E5086)) !important;
    background-image: linear-gradient(#996FC2, #6A478D 60%, #5E5086) !important;
    background-repeat: no-repeat !important;

    color: #fff;
    background-color: #996FC1;
    border-color: #996FC1;

	border-bottom: 1px solid #453A62;
}

.navbar {
    background-image: -webkit-gradient(linear, left top, left bottom, from(#996FC2), color-stop(60%, #6A478D), to(#5E5086)) !important;
    background-image: linear-gradient(#996FC2, #6A478D 60%, #5E5086) !important;
    background-repeat: no-repeat !important;

    color: #fff;
    background-color: #996FC1;
    border-color: #996FC1;

	border-bottom: 1px solid #453A62;
}

a {
	color: #996FC2;
}

a:hover {
	color: #674489;
}

.col-md-9 img.main-logo {
    border: 0px; 
	padding: 0px;
	margin: 0px;
}

.navbar-default .navbar-nav>.active>a, .navbar-default .navbar-nav>.active>a:hover, .navbar-default .navbar-nav>.active>a:focus {
    color: #fff;
    background-color: #453A62;
    border-color: #996FC1;
}

.navbar-default .navbar-nav>li>a:hover, .navbar-default .navbar-nav>li>a:focus {
    color: #fff;
    background-color: #453A62;
}


input[type="checkbox"] {
  display: none;
}

.wrap-collabsible {
  margin: 1.2rem 0;
}


.lbl-toggle {
	margin: 0px;
}

.toggle:checked + .lbl-toggle::before {
  transform: rotate(90deg) translateX(-3px);
}

.collapsible-content {
  margin-top: 5px;
  max-height: 0px;
  overflow: hidden;
  transition: max-height 0.25s ease-in-out;
}

.toggle:checked + .lbl-toggle ~ .collapsible-content {
  max-height: 500px;
}

.toggle:checked + .lbl-toggle {
  border-bottom-right-radius: 0;
  border-bottom-left-radius: 0;
}

.collapsible-content .content-inner {
  background: rgba(0, 105, 255, 0.2);
  border-bottom: 1px solid rgba(0, 105, 255, 0.45);
  border-bottom-left-radius: 7px;
  border-bottom-right-radius: 7px;
  padding: 0.5rem 1rem;
}

.collapsible-content p {
  margin-bottom: 0;
}


.platform-name img {
    max-width: 40px;
    max-height: 30px;
    display: block;

    max-width: 100%;
    padding: unset;
    line-height: unset;
    background-color: unset;
    border: unset;
    border-radius: unset;
    margin: 20px auto 0px auto;
}


.expander div {
    position: relative;
    height: 50px;
    width: 40px;
    margin: 10px auto 0px auto;
    display: block;
}

.expander img {
    position: absolute;
    width: 40px;
    display: block;
    transition: all 400ms ease;

    max-width: 100%;
    padding: unset;
    line-height: unset;
    background-color: unset;
    border: unset;
    border-radius: unset;
    margin: 0px auto 0px auto;
}

.expander img.expand-2 {
    top: 8px;
}

.expander img.expand-3 {
    top: 16px;
}

.expander:hover img.expand-2 {transform: translateY(5px);}
.expander:hover img.expand-3 {transform: translateY(10px);}

div.platforms {
	display: flex;
	justify-content: center;
}

div.platform {
	margin: 0px 20px 0px 20px;
}


#linux-link, #mac-link, #freebsd-link, #windows-link, #wsl-link {
  display: none;
}

#linux-link:target, #mac-link:target, #freebsd-link:target, #windows-link:target, #wsl-link:target {
  display: block;
}

:target:before {
content:"";
display:block;
height:150px; /* fixed header height*/
margin:-150px 0 0; /* negative fixed header height */
}


.command-button {
	display: flex;
	align-items: center;
}

.command-button > pre {
    background-color: #515151;
    color: white;
    margin: auto;
	margin-top: 0px;
    padding-top: 1rem;
    padding-bottom: 1rem;
    padding-right: 1rem;
    text-align: center;
    border-radius: 3px;
    box-shadow: inset 0px 0px 20px 0px #333333;
    font-size: 1em;
    width: 55rem;
	overflow: auto;
	white-space: nowrap;
}

.ghcup-command:before {
    color: #999;
    content: " $ ";
}

div.command-button {
	display: flex;
	align-items: center;
}

div.command-button button {
	color: white;
	/* border: none; */
	background-color: rgb(242, 242, 242);
	border-width: 2px;
	border-style: solid;
	border-radius: 3px;

    margin-left: 0.5rem;
    margin-right: auto;
	margin-top: 25px;
	margin-bottom: 25px;
    text-align: center;
}

div.command-button button:hover {
	background: rgb(232, 232, 232);
}

div.command-button button:focus {
	background: rgb(222, 222, 222);
}