theme.css

8位RISC CPU的VERILOG编程 SOURCECODE

.mstheme
{
	navbutton-background-color: rgb(204,204,153);
	top-bar-button: url(expglob.gif);
}
.mstheme-topbar-font
{
	font-family: Arial, Helvetica;
	font-size: 1;
	color: rgb(255,255,204);
}
body
{
	font-family: "Book Antiqua", "Times New Roman", Times;
	background-image: url(exptextb.jpg);
}
h1
{
	font-family: "Book Antiqua", "Times New Roman", Times;
	font-weight: normal;
	font-style: normal;
	font-size: 24pt;
}
h2
{
	font-family: "Book Antiqua", "Times New Roman", Times;
	font-weight: normal;
	font-style: normal;
	font-size: 18pt;
}
h3
{
	font-family: "Book Antiqua", "Times New Roman", Times;
	font-weight: normal;
	font-style: normal;
	font-size: 14pt;
}
h4
{
	font-family: "Book Antiqua", "Times New Roman", Times;
	font-weight: normal;
	font-style: normal;
	font-size: 12pt;
}
h5
{
	font-family: "Book Antiqua", "Times New Roman", Times;
	font-weight: normal;
	font-style: normal;
	font-size: 10pt;
}
h6
{
	font-family: "Book Antiqua", "Times New Roman", Times;
	font-weight: normal;
	font-style: normal;
	font-size: 8pt;
}
BUTTON 
{
	border-style: solid;
	border-width: 1pt;
	font-size: 8pt;
	font-family: Arial, Helvetica;
	font-style: normal; 
}
LABEL, .MSTHEME-LABEL
{
	font-size: 8pt;
	font-family: Arial, Helvetica;
	font-style: normal; 
}
TEXTAREA
{
	border-style: solid;
	border-width: 1pt;
	font-size: 8pt;
	font-family: Arial, Helvetica;
	font-style: normal; 
}
FIELDSET
{
	border-style: solid;
	border-width: 1pt;
	font-size: 8pt;
	font-family: Arial, Helvetica;
	font-style: normal; 
}
LEGEND
{
	font-size: 8pt;
	font-family: "Book Antiqua", "Times New Roman", Times;
	font-style: Normal; 
}
SELECT
{
	border-style: solid;
	border-width: 1pt;
	font-size: 8pt;
	font-family: Arial, Helvetica;
	font-style: normal; 
}
TABLE
{
	font-family: "Book Antiqua", "Times New Roman", Times;
	font-style: normal; 
}
CAPTION 
{
	font-size: 14pt;
	font-family: "Book Antiqua", "Times New Roman", Times;
	font-style: Normal; 
}
TH
{
	font-family: "Book Antiqua", "Times New Roman", Times;
	font-style: normal; 
}
MARQUEE
{
	font-size: 14pt;
	font-family: "Book Antiqua", "Times New Roman", Times;
}