Skip to content
Snippets Groups Projects
Select Git revision
  • cf88c714fd7ed2fc8458bb2fced97c60c010a1e6
  • trunk
  • RELEASE_6_5_DRIVEDB
  • RELEASE_6_6_DRIVEDB
  • RELEASE_7_0_DRIVEDB
  • RELEASE_7_2_DRIVEDB
  • RELEASE_7_3_DRIVEDB
  • RELEASE_6_0_DRIVEDB
  • RELEASE_6_1_DRIVEDB
  • RELEASE_6_2_DRIVEDB
  • RELEASE_6_3_DRIVEDB
  • RELEASE_6_4_DRIVEDB
  • tags/RELEASE_7_4
  • tags/RELEASE_7_3
  • RELEASE_5_41_DRIVEDB
  • RELEASE_5_42_DRIVEDB
  • RELEASE_5_43_DRIVEDB
  • tags/RELEASE_7_2
  • tags/RELEASE_7_1
  • tags/RELEASE_7_0
  • RELEASE_5_40_DRIVEDB
21 results

config

Blame
  • stylesheet.css 8.93 KiB
    BODY,H1,H2,H3,H4,H5,H6,P,CENTER,TD,TH,UL,DL,DIV {
    	font-family: Geneva, Arial, Helvetica, sans-serif;
    }
    BODY,TD {
    	font-size: 90%;
    }
    H1 {
    	text-align: center;
           font-size: 160%;
    }
    H2 {
           font-size: 130%;
    }
    H3 {
           font-size: 115%;
    }
    H4 {
           font-size: 100%;
    }
    CAPTION { 
    	font-weight: bold 
    }
    DIV.qindex {
    	width: 100%;
    	background-color: #e8eef2;
    	border: 1px solid #84b0c7;
    	text-align: center;
    	margin: 2px;
    	padding: 2px;
    	line-height: 140%;
    }
    DIV.navpath {
    	width: 100%;
    	background-color: #e8eef2;
    	border: 1px solid #84b0c7;
    	text-align: center;
    	margin: 2px;
    	padding: 2px;
    	line-height: 140%;
    }
    DIV.navtab {
           background-color: #e8eef2;
           border: 1px solid #84b0c7;
           text-align: center;
           margin: 2px;
           margin-right: 15px;
           padding: 2px;
    }
    TD.navtab {
           font-size: 70%;
    }
    A.qindex {
           text-decoration: none;
           font-weight: bold;
           color: #1A419D;
    }
    A.qindex:visited {
           text-decoration: none;
           font-weight: bold;
           color: #1A419D
    }
    A.qindex:hover {
    	text-decoration: none;
    	background-color: #ddddff;
    }
    A.qindexHL {
    	text-decoration: none;
    	font-weight: bold;
    	background-color: #6666cc;
    	color: #ffffff;