diff --git a/docs/css/examples.css b/docs/css/examples.css deleted file mode 100644 index 4f017cac..00000000 --- a/docs/css/examples.css +++ /dev/null @@ -1,61 +0,0 @@ -body { - font-family: Lustria,Georgia,Times,"Times New Roman",serif !important; - background: url('../img/crossword.png') /* Background pattern from subtlepatterns.com */ -} - -div.contentWrapper { - padding:10px; -} -div.navbar-wrapper { - background-color:#07508E; - border-bottom: 3px solid #ffffff; - font-size:16px; -} - - -pre { - width:450px; - height:552px; - overflow:auto; -} -#visualization { - display:block; - margin-left:470px; - margin-top:-562px; - width:500px; - height:552px; - border: 1px solid #dddddd; - border-radius:4px; - background-color:#fcfcfc; -} - -div.textHTMLContent { - margin-top:10px; - margin-bottom:10px; - display:block; - width:800px; -} - - -img.example { - border:1px solid #dddddd; - width:250px; - height:250px; - border-radius:10px; - margin-top:10px; -} -div.exampleTitle { - position:relative; - top:-7px; - width:100%; - max-width:250px; - height:30px; - border: 1px solid #dddddd; - background-color: #526b84; - color:#ffffff; - text-align:center; - vertical-align:middle; - line-height: 30px; - border-bottom-left-radius:5px; - border-bottom-right-radius:5px; -} diff --git a/docs/css/old_style.css b/docs/css/old_style.css deleted file mode 100644 index d9382b0d..00000000 --- a/docs/css/old_style.css +++ /dev/null @@ -1,83 +0,0 @@ -html, body { - width: 100%; - height: 100%; - padding: 0; - margin: 0; -} - -body, td, th { - font-family: arial, sans-serif; - font-size: 11pt; - color: #4D4D4D; - line-height: 1.7em; -} - -#container { - position: relative; - margin: 0 auto; - padding: 10px 10px 50px 10px; - width: 970px; - max-width: 100%; - box-sizing: border-box; -} - -h1 { - font-size: 180%; - font-weight: bold; - padding: 0; - margin: 1em 0 1em 0; -} - -h2 { - padding-top: 20px; - padding-bottom: 10px; - border-bottom: 1px solid #e0e0e0; - color: #064880; -} - -h3 { - font-size: 140%; -} - -a > img { - border: none; -} - -a { - color: #064880; - text-decoration: none; -} - -a:visited { - color: #064880; - text-decoration: none; -} - -a:hover { - color: red; - text-decoration: underline; -} - -table { - border-collapse: collapse; -} - -th { - font-weight: bold; - border: 1px solid lightgray; - background-color: #E5E5E5; - text-align: left; - vertical-align: top; - padding: 5px; -} - -td { - border: 1px solid lightgray; - padding: 5px; - vertical-align: top; -} - -p.important_note { - color: #3a6baa; - font-weight:bold; -} \ No newline at end of file