@import url("../base.css");

body	{
	background-color: rgb(100%, 95%, 95%);
	color: rgb(35%, 0%, 0%);
	}

h1	{
	color: #FF2244;
	}

h2	{
	background-color: #FF2244;
	color: rgb(100%, 100%, 100%);
	}

h3	{
        background-color: transparent;
        border-bottom: 2px dotted #FF0000;
	color: #FF0000;
	}

h4	{
	color: rgb(100%, 30%, 30%);
	margin-top: 2mm;
	margin-bottom: 2mm;
	}

p	{
	margin-left: 8mm;
	}

a       {
        color: #AF0000;
        text-decoration: none;
        }
a:visited {color: #AD0000;}

a.external	{color: rgb(100%, 0%, 0%);}
a.external:visited	{color: rgb(80%, 0%, 0%);}

a.mail	{color: rgb(100%, 0%, 0%);}

div#rubyring a{
	color: rgb(100%, 0%, 0%);
        }
div#rubyring a:visited{
	color: rgb(95%, 0%, 0%);
        }

dl      {
        border-left: 3px solid rgb(100%, 50%, 50%);
        margin-left: 8mm;
	padding-left: 2mm;
        margin-top: 0mm;;
        }

dl.file{
        border-left: thin double rgb(100%, 50%, 50%);
        }

dl.changelog{
        font-size: 11pt;
        margin-left: 4mm;
        }

dl.changelog dt{
        margin-top: 2mm;
        }

dl.changelog dd    {
        display: list-item;
        list-style-type: none;
        margin-left: 3mm;
        }

dl.changelog dl {
        border-left: 2px solid rgb(100%, 70%, 70%);
        font-size: 10pt;
        margin-left: 0mm;
        margin-top: 2mm;
        }

dt      {
        font-weight: bold;
        }

dt dt a {
        color: #9F0000;
}

dt dt a:visited {
        color: #9D0000;
}

dd      {
        display: list-item;
        list-style-type: square;
        margin-left: 5mm;
        }

dd.bug  {
        font-weight: bold;
        list-style-type: circle;
        }

strong	{
	color: rgb(80%, 0%, 0%);
	font-size: 10.5pt;
	}

kbd	{
	background-color: rgb(95%, 85%, 85%);
	color: black;
        display: block;
	font-size: 9pt;
        margin: 0mm;
	margin-left: 12mm;
        padding: 0.5mm;
        width: 50%;
	}

.latest	{
        padding: 0.2mm;
	font-weight: bold;
	color: rgb(90%, 0%, 0%);
	}
.latest:after	{
        display: inline;
	background-color: rgb(90%, 0%, 0%);
	color: rgb(100%, 95%, 95%);
	content: "NEW!!";
        font-size: 8pt;
        margin-bottom: 1mm;
        margin-left: 2mm;
        padding: 0.2mm;
        vertical-align: middle;
	}