/* CSSTidy 1.3: Fri, 27 Mar 2015 11:37:29 +0100 */
/*
---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
*/
span.inline.typ27 {
border-bottom-style:double;
}

span.inline.typ28 {
border-bottom-style:dotted;
}

span.inline.typ29 {
text-decoration:overline;
}