diff --git a/Docs/custom.css b/Docs/custom.css new file mode 100644 index 0000000..442d05d --- /dev/null +++ b/Docs/custom.css @@ -0,0 +1,13 @@ +#projectlogo img{ + max-height: 70px; +} +img[src="logotype.svg"]{ + width:10cm; +} +div.contents{ + max-width: 85%; + margin-left: 2%; +} +.textblock h1{ + border-bottom: 1px solid #666; +}