/* default styles for extension "tx_psmhighlight" */
	.tx-psmhighlight-sword {  background-color: green; }
	.tx-psmhighlight-sword-1 { background-color: yellow; border-top:1px dashed #ccc; border-bottom:1px dashed #ccc; }
	.tx-psmhighlight-sword-2 { background-color: aqua; border-top:1px dashed #ccc; border-bottom:1px dashed #ccc; }
	.tx-psmhighlight-sword-3 { background-color: lime; border-top:1px dashed #ccc; border-bottom:1px dashed #ccc; }