{-
CSS stylesheet for formating tableaux using itemized lists
images and styles inlined in a Haskell string to simplify installation
Pedro Vasconcelos, 2010
-}
module CSS (cssText) where
cssText :: String
cssText
= unlines ["ul.tree, ul.tree ul {"
,"list-style-type: none;"
-- background: url(vline.png) repeat-y;
,"background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAAKAQMAAABPHKYJAAAAA1BMVEWIiIhYZW6zAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH1ggGExMZBky19AAAAAtJREFUCNdjYMAEAAAUAAHlhrBKAAAAAElFTkSuQmCC) repeat-y;"
,"margin: 0 0 0 10px;"
,"padding: 0 0 0 0; }"
,"ul.tree li {"
,"padding: 0 12px 0 12px;"
,"line-height: 1.5;"
-- background: url(node.png) no-repeat;
,"background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAgAAAAUAQMAAACK1e4oAAAABlBMVEUAAwCIiIgd2JB2AAAAAXRSTlMAQObYZgAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9YIBhQIJYVaFGwAAAARSURBVAjXY2hgQIf/GTDFGgDSkwqATqpCHAAAAABJRU5ErkJggg==) no-repeat; }"
,"ul.tree li.last {"
-- background: #fff url(lastnode.png) no-repeat;
,"background: #fff url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAgAAAAUAQMAAACK1e4oAAAABlBMVEUAAwCIiIgd2JB2AAAAAXRSTlMAQObYZgAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9YIBhQIIhs+gc8AAAAQSURBVAjXY2hgQIf/GbAAAKCTBYBUjWvCAAAAAElFTkSuQmCC) no-repeat; }"
,"div.math { font-family: sans-serif; }"
,"span.cursor {"
,"border: thin dashed black;"
,"background-color: yellow;"
,"padding: 1px; }"
,"div.conj {"
-- background: url(vline.png) repeat-y;
,"background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAAKAQMAAABPHKYJAAAAA1BMVEWIiIhYZW6zAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH1ggGExMZBky19AAAAAtJREFUCNdjYMAEAAAUAAHlhrBKAAAAAElFTkSuQmCC) repeat-y;"
,"background-position: 10px;"
,"padding: 0 0 0 0;"
,"margin: 0 0 5px 0; }"
,"div.conj p.last { margin: 0 0 0 0; }"
,"div.conj p {"
,"background: white;"
,"margin: 0 0 10px 0; }"
,".closed { font-style: oblique; }"
,".unused { font-weight: bold; }"
,"input#refute { font-family: monospace; }"
]