Template:CppStd/styles.css

:target { 
	background-color: #C9FBC9; 
}

.marginalized-cell {
	font-size: 0.7em;
    vertical-align: top;
    text-align: right;
    padding-right: 2em;
    padding-top: 0.5em;
    min-width: 3em;
}

.content-cell {
	width: 100%;
}

.mw-highlight {
    width: max-content;
}

.example {
    padding-left: 1em;
    padding-top: 2px;
    padding-bottom: 2px;
    border: lightblue;
    border-style: solid;
    margin: 0.5em 0;
}

.example-label {
    padding: 2px 5px;
    user-select: none;
    float: right;
    margin-top: -2px;
    background-color: lightblue;
}

.bnf {
    font-family: monospace;
    padding-left: 4em;
    padding-top: 0.5em;
    padding-bottom: 0.5em;
	background-color: hsl(120, 100%, 95%);
}

.bnf :target {
	background-color: hsl(120, 100%, 90%);
}

.bnf-label {
	background-color: hsl(120, 100%, 80%);
    padding: 2px 5px;
    user-select: none;
    float: right;
    margin-top: -0.5em;
}

.bnf p {
	margin: 0;
}

.bnf dl {
	margin: 0;
}

.note-label {
    padding: 2px;
    background-color: orange;
    margin-left: -0.5em;
    margin-right: 0.5em;
}

.note {
    padding: 2px 0.5em;
    background-color: cornsilk;
}

div.note {
    margin: 0.5em 0;
}

table.cppstd-table {
	border: 1px solid black;
	border-collapse: collapse;
	margin-left: auto;
	margin-right: auto;
	margin-top: 0.8em;
	text-align: left;
}

table.cppstd-table td, table.cppstd-table th {
	padding-left: 1em;
	padding-right: 1em;
	vertical-align: top;
}

td.cppstd-center {
	text-align: center;
}

td.cppstd-border {
	border-left: 1px solid black;
}

tr.cppstd-rowsep, td.cppstd-cline {
	border-top: 1px solid black;
}

tr.cppstd-capsep {
	border-top: 3px solid black;
	border-top-style: double;
}

ul.subpara {
    list-style: none;
    padding-left: 0;
    margin-top: -0.5em;
}

ul.subpara > li::before {
    content: "\2014";
    position: absolute;
    margin-left: -1.5em;
}

.cppstd-toc {
    border: 1px solid #a2a9b1;
    background-color: #f8f9fa;
    padding: 5px;
    font-size: 90%;
    float: right;
    margin: 1em 0 1em 1em;
}