annotate ISMIBioFilter/ISMIBioFilter.css @ 60:1b520696760a
default tip
new ismixml_splitter.py that splits openmind-data.xml into separate files per entity type.
author |
casties |
date |
Tue, 19 Jun 2018 21:46:49 +0200 |
parents |
124ef8f3b22d |
children |
|
rev |
line source |
0
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
1 p.style1 {
|
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
2 font-size: 15px;
|
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
3 font-weight: bold;
|
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
4 }
|
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
5 span.SpellE {
|
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
6 padding-left: 0.2em;
|
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
7 } |