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

   1
   2 /* Generated headers */
   3 div.header {
   4     font-family: "Times New Roman";
   5     font-size: 2.0em;
   6     color: black;
   7     margin-left: 0px;
   8     margin-bottom: 0px;
   9     margin-right: 0px;
  10     margin-top: 10px;
  11 }
  12
  13 /* Generated descriptions */
  14 div.description {
  15     font-family: "Times New Roman";
  16     font-size: 1.5em;
  17     color: black;
  18     margin-left: 0px;
  19     margin-bottom: 10px;
  20     margin-right: 0px;
  21     margin-top: 0px;
  22 }
  23
  24 /* Text paragraphs */
  25 p {
  26     font-family: "Times New Roman";
  27     font-size: 1.0em;
  28     color: black;
  29     margin-top: 10px;
  30     margin-bottom: 15px;
  31 }
  32
  33 /* Level 1 header */
  34 h1 {
  35     font-family: "Times New Roman";
  36     font-size: 1.6em;
  37     color: black;
  38     margin-top: 16px;
  39     margin-bottom: 2px;
  40 }
  41
  42 /* Level 2 header */
  43 h2 {
  44     font-family: "Times New Roman";
  45     font-size: 1.4em;
  46     color: black;
  47     margin-top: 14px;
  48     margin-bottom: 2px;
  49 }
  50
  51 /* Level 3 header */
  52 h3 {
  53     font-family: "Times New Roman";
  54     font-size: 1.2em;
  55     color: black;
  56     margin-top: 12px;
  57     margin-bottom: 2px;
  58 }
  59
  60 /* Level 4 header */
  61 h4 {
  62     font-family: "Times New Roman";
  63     font-size: 1.0em;
  64     color: black;
  65     margin-top: 10px;
  66     margin-bottom: 2px;
  67 }
  68
  69 /* Numbered list items */
  70 ul li {
  71     font-family: "Times New Roman";
  72     font-size: 1.0em;
  73     color: black;
  74     margin-top: 1px;
  75     margin-bottom: 1px;
  76 }
  77
  78 /* Bullet list items */
  79 ol li {
  80     font-family: "Times New Roman";
  81     font-size: 1.0em;
  82     color: black;
  83     margin-top: 1px;
  84     margin-bottom: 1px;
  85 }
  86
  87 /* Links */
  88 a {
  89     font-family: "Times New Roman";
  90     font-size: 1.0em;
  91     margin-left: 2px;
  92     margin-top: 1px;
  93     margin-bottom: 1px;
  94 }
  95
  96 /* Table items */
  97 td div {
  98     font-family: "Times New Roman";
  99     font-size: 0.6em;
 100     line-height: 1.2;
 101     padding: 2px;
 102 }
 103
 104 /* Tables items */
 105 table {
 106     table-layout: auto;
 107     width: auto;
 108
 109     margin-top: 10px;
 110     margin-bottom: 10px;
 111     margin-left: 15px;
 112     margin-right: 30px;
 113
 114     border-collapse: collapse;
 115     border: 0px solid black;
 116
 117     -webkit-user-select: text;
 118     -moz-user-select: text;
 119     -ms-user-select: text;
 120     user-select: text;
 121 }
 122
 123 table div {
 124     white-space: normal;
 125 }
 126
 127 th, td {
 128     text-align: left;
 129     border: 1px solid black;
 130     padding: 2px;
 131 }
 132
 133 td div, th div {
 134     border: none;
 135 }