bundles/org.simantics.document/simantics-wiki-documents-default-model.css

   1 \r
   2 /* Generated headers */\r
   3 div.header {\r
   4     font-family: "Times New Roman";\r
   5     font-size: 2.0em;\r
   6     color: black;\r
   7     margin-left: 0px;\r
   8     margin-bottom: 0px;\r
   9     margin-right: 0px;\r
  10     margin-top: 10px;\r
  11 }\r
  12 \r
  13 /* Generated descriptions */\r
  14 div.description {\r
  15     font-family: "Times New Roman";\r
  16     font-size: 1.5em;\r
  17     color: black;\r
  18     margin-left: 10px;\r
  19     margin-bottom: 10px;\r
  20     margin-right: 0px;\r
  21     margin-top: 0px;\r
  22 }\r
  23 \r
  24 /* Text paragraphs */\r
  25 p {\r
  26     font-family: "Times New Roman";\r
  27     font-size: 1.0em;\r
  28     color: black;\r
  29     margin-top: 10px;\r
  30     margin-bottom: 10px;\r
  31 }\r
  32 \r
  33 /* Level 1 header */\r
  34 h1 {\r
  35     font-family: "Times New Roman";\r
  36     font-size: 1.6em;\r
  37     color: black;\r
  38         margin-top: 16px;\r
  39         margin-bottom: 2px;\r
  40 }\r
  41 \r
  42 /* Level 2 header */\r
  43 h2 {\r
  44     font-family: "Times New Roman";\r
  45         font-size: 1.4em;\r
  46     color: black;\r
  47         margin-top: 14px;\r
  48         margin-bottom: 2px;\r
  49 }\r
  50 \r
  51 /* Level 3 header */\r
  52 h3 {\r
  53     font-family: "Times New Roman";\r
  54     font-size: 1.2em;\r
  55     color: black;\r
  56         margin-top: 12px;\r
  57         margin-bottom: 2px;\r
  58 }\r
  59 \r
  60 /* Level 4 header */\r
  61 h4 {\r
  62     font-family: "Times New Roman";\r
  63     font-size: 1.0em;\r
  64     color: black;\r
  65         margin-top: 10px;\r
  66         margin-bottom: 2px;\r
  67 }\r
  68 \r
  69 /* Numbered list items */\r
  70 ul li {\r
  71     font-family: "Times New Roman";\r
  72     font-size: 1.0em;\r
  73     color: black;\r
  74     margin-top: 1px;\r
  75     margin-bottom: 1px;\r
  76 }\r
  77 \r
  78 /* Bullet list items */\r
  79 ol li {\r
  80     font-family: "Times New Roman";\r
  81     font-size: 1.0em;\r
  82     color: black;\r
  83     margin-top: 1px;\r
  84     margin-bottom: 1px;\r
  85 }\r
  86 \r
  87 /* Table items */\r
  88 td div {\r
  89     font-family: "Times New Roman";\r
  90     font-size: 1.0em;\r
  91 }\r
  92 \r
  93 /* Tables items */\r
  94 table {\r
  95     margin-top: 10px;\r
  96     margin-bottom: 10px;\r
  97 }\r
  98 \r
  99 /* Links */\r
 100 a {\r
 101     font-family: "Times New Roman";\r
 102     font-size: 1.0em;\r
 103     margin-left: 2px;\r
 104     margin-top: 1px;\r
 105     margin-bottom: 1px;\r
 106 }\r