⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 default.css

📁 建立《编译原理网络课程》的目的不仅使学生掌握构造编译程序的原理和技术
💻 CSS
字号:
P
{
    FONT-SIZE: 12px;
    FONT-FAMILY: 宋体
}
DIV
{
    FONT-SIZE: 9pt;
    FONT-FAMILY: 宋体
}
BODY
{
    MARGIN-TOP: 1px;
    SCROLLBAR-FACE-COLOR: rgb(203,213,223);
    FONT-SIZE: 12px;
    MARGIN-LEFT: 0px;
    SCROLLBAR-3DLIGHT-COLOR: rgb(203,213,223);
    MARGIN-RIGHT: -10px;
    FONT-FAMILY: 宋体;
    SCROLLBAR-DARKSHADOW-COLOR: rgb(203,213,223);
    SCROLLBAR-BASE-COLOR: rgb(203,213,223);
}
TD
{
    FONT-SIZE: 12px;
    FONT-FAMILY: 宋体
}
TABLE
{
    FONT-SIZE: 12px;
    FONT-FAMILY: 宋体
}
INPUT
{
    FONT-SIZE: 12px;
    FONT-FAMILY: 宋体
}
SELECT
{
    FONT-SIZE: 12px;
    FONT-FAMILY: 宋体
}
A
{
    FONT-SIZE: 9pt;
    COLOR: #333333;
    FONT-FAMILY: 宋体;
    TEXT-DECORATION: none
}
A:hover
{
    FONT-SIZE: 9pt;
    COLOR: #6699cc;
    TEXT-DECORATION: none
}
.Button
{
    FONT-SIZE: 13px;
    FONT-FAMILY: 宋体
}
#Title
{
    FONT-SIZE: 16px;
    FONT-FAMILY: 宋体
}
.mouseout
{
    BORDER-RIGHT: #ffffff 1px inset;
    BORDER-TOP: #ffffff 1px inset;
    BORDER-LEFT: #ffffff 1px inset;
    BORDER-BOTTOM: #ffffff 1px inset;
    BACKGROUND-COLOR: #ffffff
}
.mouseover
{
    BORDER-RIGHT: #000080 1px inset;
    BORDER-TOP: #000080 1px inset;
    BORDER-LEFT: #000080 1px inset;
    COLOR: #ffffff;
    BORDER-BOTTOM: #000080 1px inset;
    BACKGROUND-COLOR: #f37032
}
.buttonface
{
    BORDER-RIGHT: #ffffff 0px inset;
    BORDER-TOP: #ffffff 0px inset;
    FONT-WEIGHT: bold;
    BACKGROUND-IMAGE: url(images/button.gif);
    BORDER-LEFT: #ffffff 0px inset;
    CURSOR: hand;
    COLOR: white;
    PADDING-TOP: 3px;
    BORDER-BOTTOM: #ffffff 0px inset;
    HEIGHT: 20px
}
.buttonface1
{
    BORDER-RIGHT: #ffffff 0px inset;
    BORDER-TOP: #ffffff 0px inset;
    BACKGROUND-IMAGE: url(images/bottonface1.jpg);
    BORDER-LEFT: #ffffff 0px inset;
    CURSOR: hand;
    PADDING-TOP: 3px;
    BORDER-BOTTOM: #ffffff 0px inset;
    HEIGHT: 20px
}
.buttonface2
{
    BORDER-RIGHT: 0px solid;
    BORDER-TOP: 0px solid;
    BACKGROUND-IMAGE: url(images/002.gif);
    BORDER-LEFT: 0px solid;
    WIDTH: 105px;
    CURSOR: hand;
    COLOR: #ffffff;
    LINE-HEIGHT: 100%;
    PADDING-TOP: 3px;
    BORDER-BOTTOM: 0px solid;
    HEIGHT: 20px;
    BACKGROUND-COLOR: #d3bd40
}
.input
{
    BORDER-RIGHT: #6ca2e9 1px solid;
    BACKGROUND-POSITION: center 50%;
    BORDER-TOP: #6ca2e9 1px solid;
    FONT-SIZE: 9pt;
    BACKGROUND-ATTACHMENT: scroll;
    BORDER-LEFT: #6ca2e9 1px solid;
    BORDER-BOTTOM: #6ca2e9 1px solid;
    BACKGROUND-COLOR: #ffffff
}
.tdhead
{
    BACKGROUND-COLOR: #c0c0c0
}
.td1
{
    BACKGROUND-COLOR: #ffffee
}
.td2
{
    BACKGROUND-COLOR: #99ccff
}
.td3
{
    BACKGROUND-COLOR: #ececec
}
.wholetd
{
    BACKGROUND-COLOR: white
}
.xMenuItem
{
    FONT-WEIGHT: normal;
    FONT-SIZE: 11px;
    COLOR: white;
    FONT-FAMILY: Arial, Helvetica, sans-serif
}
.xMenuHead
{
    CURSOR: hand
}
.xMenuArea
{
    MARGIN-LEFT: 15px
}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -