GRK/dependencies/glew-2.0.0/doc/glew.css
secret_dude a7bd7ecb75 master
2022-01-12 16:07:16 +01:00

188 lines
2.8 KiB
CSS

h1
{
color: black;
font: 23px "Verdana", "Arial", "Helvetica", sans-serif;
font-weight: bold;
text-align: center;
margin-top: 12px;
margin-bottom: 18px;
}
h2
{
color: black;
font: 18px "Verdana", "Arial", "Helvetica", sans-serif;
font-weight: bold;
text-align: left;
padding-top: 0px;
padding-bottom: 0px;
margin-top: 18px;
margin-bottom: 12px;
}
h3
{
color: black;
font: 17px "Verdana", "Arial", "Helvetica", sans-serif;
text-align: left;
padding-top: 0px;
padding-bottom: 0px;
margin-top: 12px;
margin-bottom: 12px;
}
small
{
font: 8pt "Verdana", "Arial", "Helvetica", sans-serif;
}
body
{
color: black;
font: 10pt "Verdana", "Arial", "Helvetica", sans-serif;
text-align: left;
}
td
{
color: black;
font: 10pt "Verdana", "Arial", "Helvetica", sans-serif;
}
tt
{
color: rgb(0,120,0);
}
/* color: maroon; */
td.num
{
color: lightgrey;
font: 10pt "Verdana", "Arial", "Helvetica", sans-serif;
text-align: right;
}
blockquote
{
color: rgb(0,120,0);
background: #f0f0f0;
text-align: left;
margin-left: 40px;
margin-right: 40px;
margin-bottom: 6px;
padding-bottom: 0px;
margin-top: 0px;
padding-top: 0px;
border-top: 0px;
border-width: 0px;
}
pre
{
color: rgb(0,120,0);
background: #f0f0f0;
text-align: left;
margin-left: 40px;
margin-right: 40px;
margin-bottom: 6px;
padding-bottom: 0px;
margin-top: 0px;
padding-top: 0px;
border-top: 0px;
border-width: 0px;
}
p
{
color: black;
font: 10pt "Verdana", "Arial", "Helvetica", sans-serif;
text-align: left;
margin-bottom: 0px;
padding-bottom: 6px;
margin-top: 0px;
padding-top: 0px;
}
p.right
{
color: black;
font: 10pt "Verdana", "Arial", "Helvetica", sans-serif;
text-align: right;
margin-bottom: 0px;
padding-bottom: 6px;
margin-top: 0px;
padding-top: 0px;
}
p.pre
{
color: rgb(0,120,0);
font: 10pt "Courier New", "Courier", monospace;
background: #f0f0f0;
text-align: left;
margin-top: 0px;
margin-bottom: 6px;
margin-left: 40px;
margin-right: 40px;
padding-top: 0px;
padding-bottom: 6px;
padding-left: 6px;
padding-right: 6px;
border-top: 0px;
border-width: 0px;
}
a:link
{
color: rgb(0,0,139);
text-decoration: none;
}
a:visited
{
color: rgb(220,20,60);
text-decoration: none;
}
a:hover
{
color: rgb(220,20,60);
text-decoration: underline;
background: "#e8e8e8";
}
ul
{
list-style-type: disc;
text-align: left;
margin-left: 40px;
margin-top: 0px;
padding-top: 0px;
margin-bottom: 0px;
padding-bottom: 3px;
}
ul.none
{
list-style-type: none;
}
ol
{
text-align: left;
margin-left: 40px;
margin-top: 0px;
padding-top: 0px;
margin-bottom: 0px;
padding-bottom: 12px;
}
hr
{
color: maroon;
background-color: maroon;
height: 1px;
border: 0px;
width: 80%;
}