Next Prev Back Up Home This [html_weaver.ipk]

6.14.5.20. Interscript Style Sheet

The file 'interscript/doc/interscript.css' is a CSS1 style sheet for interscript documents. It is <LINK>ed by interscript documentation, but is not currently copied to the weaver output directory.

HTML documents also <LINK> a stub file, 'user.css' which allows the user to override the interscript standard one.

Start data section to interscript/doc/interscript.css[1 /1 ] 
     1: BODY {
     2:   background-color : #FFFFF0;
     3: }
     4: BODY EM {
     5:   color: #A01010;
     6: }
     7: 
     8: BODY CODE {
     9:   color: #101080;
    10: }
    11: DIV.CODE {
    12:   color : #101080;
    13:   background-color: #E0FFFF;
    14:   margin-top: 0.0 ex;
    15:   padding-top: 0.4 ex;
    16:   padding-bottom: 0.2 ex;
    17:   margin-bottom: 0.0 ex;
    18:   margin-right: 2 ex;
    19:   border: thin solid gray;
    20:   display: block;
    21: }
    22: SPAN.LINENO {
    23:   color : #101010;
    24:   font-size: 80%;
    25: }
    26: 
    27: DIV.CODE SPAN.KEYWORD {
    28:   color : #000000;
    29:   font-weight: bold;
    30: }
    31: DIV.CODE SPAN.NAME {
    32:   color : #000000;
    33: }
    34: DIV.CODE SPAN.STRING{
    35:   color : #004000;
    36: }
    37: DIV.CODE SPAN.NUMBER {
    38:   color : #002020;
    39: }
    40: DIV.CODE SPAN.BRACKET {
    41:   color : #800000;
    42: }
    43: DIV.CODE SPAN.PUNCT {
    44:   color : #802000;
    45: }
    46: DIV.CODE SPAN.OP {
    47:   color : #400000;
    48: }
    49: DIV.CODE SPAN.COMMENT {
    50:   color : #000000;
    51:   background-color : #FFF0FF;
    52:   font-size: 80%;
    53:   font-family: sans-serif;
    54: }
    55: 
    56: TABLE.DEFAULT_TABLE_CLASS {
    57:   color: #101010;
    58:   background-color: #F0F0E0;
    59: }
    60: 
    61: TABLE.DIFF {
    62:   color: #204060;
    63:   background-color: #FFE0E0;
    64: }
    65: 
    66: DIV.CODE_SECTION_HEAD {
    67:   margin-top: 1 ex;
    68:   padding-top: 0.2 ex;
    69:   border-top: 0 ex;
    70:   padding-bottom: 0.0 ex;
    71:   border-bottom: 0 ex;
    72:   margin-bottom: -1 ex;
    73:   padding-left: 0.1 em;
    74:   display: block;
    75: }
    76: DIV.CODE_SECTION_FOOT {
    77:   margin-top: -1.0 ex;
    78:   padding-top: 0.0 em;
    79:   border-top-width: 0.0 em;
    80:   border-bottom-width: 0.0 em;
    81:   padding-bottom: 0.0 em;
    82:   margin-bottom: 0.0 em;
    83:   display: block;
    84:   display:none;
    85: }
    86: 
    87: DIV.CODE_SECTION_HEAD SMALL, DIV.CODE_SECTION_FOOT SMALL{
    88:   color : #503020;
    89:   font-size: 80%;
    90:   display: inline;
    91:   color: #101080;
    92: }
    93: DIV.CODE_SECTION_HEAD STRONG, DIV.CODE_SECTION_FOOT STRONG {
    94:   font-family : monospace, courier;
    95:   font-weight: normal;
    96:   font-size: 100%;
    97:   display: inline;
    98:   color : black;
    99: }
   100: DIV.CODE_SECTION_HEAD EM, DIV.CODE_SECTION_FOOT EM {
   101:   display: inline;
   102: }
   103: 
   104: DIV.TEST_OUTPUT {
   105:   color : #101080;
   106:   background-color: #E0FFE0;
   107:   margin-top: 0.0 ex;
   108:   padding-top: 0.4 ex;
   109:   padding-bottom: 0.2 ex;
   110:   margin-bottom: 0.0 ex;
   111:   margin-right: 2 ex;
   112:   border: thin solid gray;
   113:   display: block;
   114: }
   115: DIV.BAD_TEST_OUTPUT {
   116:   color : #101080;
   117:   background-color: #FFE0E0;
   118:   margin-top: 0.0 ex;
   119:   padding-top: 0.4 ex;
   120:   padding-bottom: 0.2 ex;
   121:   margin-bottom: 0.0 ex;
   122:   margin-right: 2 ex;
   123:   border: thin solid gray;
   124:   display: block;
   125: }
   126: DIV.TEST_OUTPUT_RESULT {
   127:   margin-top: 1.5 ex;
   128:   padding-top: 0.2 ex;
   129:   border-top: 0 ex;
   130:   padding-bottom: 0.0 ex;
   131:   border-bottom: 0 ex;
   132:   margin-bottom: -1 ex;
   133:   padding-left: 0.1 em;
   134:   display: block;
   135: }
   136: DIV.TEST_OUTPUT_SECTION_HEAD {
   137:   margin-top: 1 ex;
   138:   padding-top: 0.2 ex;
   139:   border-top: 0 ex;
   140:   padding-bottom: 0.0 ex;
   141:   border-bottom: 0 ex;
   142:   margin-bottom: -1 ex;
   143:   padding-left: 0.1 em;
   144:   display: block;
   145: }
   146: 
   147: DIV.TEST_OUTPUT_SECTION_FOOT {
   148:   margin-top: -1.0 ex;
   149:   padding-top: 0.0 em;
   150:   border-top-width: 0.0 em;
   151:   border-bottom-width: 0.0 em;
   152:   padding-bottom: 0.0 em;
   153:   margin-bottom: 0.0 em;
   154:   display: block;
   155:   display:none;
   156: }
   157: 
   158: DIV.TEST_OUTPUT_SECTION_HEAD SMALL, DIV.TEST_OUTPUT_SECTION_FOOT SMALL{
   159:   color : #503020;
   160:   font-size: 80%;
   161:   display: inline;
   162:   color: #101080;
   163: }
   164: DIV.TEST_OUTPUT_SECTION_HEAD STRONG, DIV.TEST_OUTPUT_SECTION_FOOT STRONG {
   165:   font-family : monospace, courier;
   166:   font-weight: normal;
   167:   font-size: 100%;
   168:   display: inline;
   169:   color : black;
   170: }
   171: DIV.TEST_OUTPUT_SECTION_HEAD EM, DIV.TEST_OUTPUT_SECTION_FOOT EM {
   172:   display: inline;
   173: }
   174: 
   175: DIV.EXPECTED_OUTPUT {
   176:   color : #101080;
   177:   background-color: #E0FFFF;
   178:   margin-top: 0.0 ex;
   179:   padding-top: 0.4 ex;
   180:   padding-bottom: 0.2 ex;
   181:   margin-bottom: 0.0 ex;
   182:   margin-right: 2 ex;
   183:   border: thin solid gray;
   184:   display: block;
   185: }
   186: 
   187: DIV.EXPECTED_OUTPUT_SECTION_HEAD {
   188:   margin-top: 1 ex;
   189:   padding-top: 0.2 ex;
   190:   border-top: 0 ex;
   191:   padding-bottom: 0.0 ex;
   192:   border-bottom: 0 ex;
   193:   margin-bottom: -1 ex;
   194:   padding-left: 0.1 em;
   195:   display: block;
   196: }
   197: 
   198: DIV.EXPECTED_OUTPUT_SECTION_FOOT {
   199:   margin-top: -1.0 ex;
   200:   padding-top: 0.0 em;
   201:   border-top-width: 0.0 em;
   202:   border-bottom-width: 0.0 em;
   203:   padding-bottom: 0.0 em;
   204:   margin-bottom: 0.0 em;
   205:   display: block;
   206:   display:none;
   207: }
   208: 
   209: DIV.EXPECTED_OUTPUT_SECTION_HEAD SMALL, DIV.EXPECTED_OUTPUT_SECTION_FOOT SMALL{
   210:   color : #503020;
   211:   font-size: 80%;
   212:   display: inline;
   213:   color: #101080;
   214: }
   215: DIV.EXPECTED_OUTPUT_SECTION_HEAD STRONG, DIV.EXPECTED_OUTPUT_SECTION_FOOT STRONG {
   216:   font-family : monospace, courier;
   217:   font-weight: normal;
   218:   font-size: 100%;
   219:   display: inline;
   220:   color : black;
   221: }
   222: DIV.EXPECTED_OUTPUT_SECTION_HEAD EM, DIV.EXPECTED_OUTPUT_SECTION_FOOT EM {
   223:   display: inline;
   224: }
   225: 
   226: DIV.DIFF {
   227:   color : #101080;
   228:   background-color: #E0FFE0;
   229:   margin-top: 0.0 ex;
   230:   padding-top: 0.4 ex;
   231:   padding-bottom: 0.2 ex;
   232:   margin-bottom: 0.0 ex;
   233:   margin-right: 2 ex;
   234:   border: thin solid gray;
   235:   display: block;
   236: }
   237: 
   238: DIV.DIFF_SECTION_HEAD {
   239:   margin-top: 1 ex;
   240:   padding-top: 0.2 ex;
   241:   border-top: 0 ex;
   242:   padding-bottom: 0.0 ex;
   243:   border-bottom: 0 ex;
   244:   margin-bottom: -1 ex;
   245:   padding-left: 0.1 em;
   246:   display: block;
   247: }
   248: 
   249: DIV.DIFF_SECTION_FOOT {
   250:   margin-top: -1.0 ex;
   251:   padding-top: 0.0 em;
   252:   border-top-width: 0.0 em;
   253:   border-bottom-width: 0.0 em;
   254:   padding-bottom: 0.0 em;
   255:   margin-bottom: 0.0 em;
   256:   display: block;
   257:   display:none;
   258: }
   259: 
   260: DIV.DIFF_SECTION_HEAD SMALL, DIV.DIFF_SECTION_FOOT SMALL{
   261:   color : #503020;
   262:   font-size: 80%;
   263:   display: inline;
   264:   color: #101080;
   265: }
   266: DIV.DIFF_SECTION_HEAD STRONG, DIV.DIFF_SECTION_FOOT STRONG {
   267:   font-family : monospace, courier;
   268:   font-weight: normal;
   269:   font-size: 100%;
   270:   display: inline;
   271:   color : black;
   272: }
   273: DIV.DIFF_SECTION_HEAD EM, DIV.DIFF_SECTION_FOOT EM {
   274:   display: inline;
   275: }
   276:
End data section to interscript/doc/interscript.css[1]
Start data section to interscript/doc/user.css[1 /1 ] 
     1: // dummy: to be replaced by the user
End data section to interscript/doc/user.css[1]

Next Prev Back Up Home This [html_weaver.ipk]