doc/manual/en/html/manual.css
author etisserant
Fri, 08 Jun 2007 14:41:39 +0200
changeset 218 3bc225b6fb43
parent 210 6b5a4c21e061
permissions -rw-r--r--
File removed accidently
210
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     1
/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     2
.MATH    { font-family: "Century Schoolbook", serif; }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     3
.MATH I  { font-family: "Century Schoolbook", serif; font-style: italic }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     4
.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     5
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     6
/* implement both fixed-size and relative sizes */
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     7
SMALL.XTINY		{ font-size : xx-small }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     8
SMALL.TINY		{ font-size : x-small  }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     9
SMALL.SCRIPTSIZE	{ font-size : smaller  }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    10
SMALL.FOOTNOTESIZE	{ font-size : small    }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    11
SMALL.SMALL		{  }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    12
BIG.LARGE		{  }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    13
BIG.XLARGE		{ font-size : large    }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    14
BIG.XXLARGE		{ font-size : x-large  }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    15
BIG.HUGE		{ font-size : larger   }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    16
BIG.XHUGE		{ font-size : xx-large }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    17
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    18
/* heading styles */
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    19
H1		{  }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    20
H2		{  }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    21
H3		{  }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    22
H4		{  }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    23
H5		{  }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    24
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    25
/* mathematics styles */
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    26
DIV.displaymath		{ }	/* math displays */
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    27
TD.eqno			{ }	/* equation-number cells */
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    28
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    29
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    30
/* document-specific styles come next */
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    31
DIV.navigation		{   }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    32
SPAN.bfseries		{   }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    33
DIV.center		{   }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    34
SPAN.upshape		{   }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    35
SPAN.mdseries		{   }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    36
SPAN.alph		{   }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    37
SPAN.arabic		{   }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    38
SPAN.textbf		{ font-weight: bold  }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    39
SPAN.roman		{   }
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    40
#hue725		{ color: #000000;  }