web/static/css/workspace.css
author veltr
Fri, 20 Jul 2012 16:37:23 +0200
changeset 83 f8b1d6f5bb33
parent 30 81d408373dde
permissions -rw-r--r--
Lots of small modifications

#contentsdiv h1 {
    text-decoration : underline;
}

#contentsdiv table {
    border: 1px solid black;
}

#projectsdiv h1 {
    text-decoration : underline;
}

#projectsdiv table {
    border: 1px solid black;
}

.ldt_player_code {
	width: 580px;
	overflow: auto;
	border-style: inset;
	border: 1px solid silver;
	margin: 10px 5px;
	padding: 2px;
}