correction border style
authorGuus Schreiber <guus.schreiber@vu.nl>
Wed, 05 Feb 2014 21:53:05 +0100
changeset 1814 f70925f25a06
parent 1813 2641e8f02e1f
child 1815 6160400925a3
correction border style
rdf-mt/index.html
--- a/rdf-mt/index.html	Wed Feb 05 21:50:07 2014 +0100
+++ b/rdf-mt/index.html	Wed Feb 05 21:53:05 2014 +0100
@@ -87,7 +87,7 @@
 .othertable {background-color: #FDFDFD; padding:0.5em;}
 .tabletitle {font-size: small; font-weight: bolder;}
 
-table { border: 1;}
+table { border: 1px solid black;}
 
 .technote {
     font-size:small;