Packaging: polished

This commit is contained in:
Philippe Tillet
2015-04-30 00:46:42 -04:00
parent 5ef01f041a
commit 006d0f13de
4061 changed files with 20266 additions and 559 deletions

View File

@@ -0,0 +1,11 @@
@import url(boost.css);
#contents
{
/* border-bottom: solid thin black;*/
}
.highlight
{
border: 1px solid #aaaaaa;
}