formatting

tutorials/convex_hull/style.css

@@ -1,56 +1,55 @@
-h1{
-    font-family: 'Roboto Condensed', sans-serif;
-    margin: 0;
-    padding: 0 0 15px 0;
-    font-weight: 700;
-    font-size: 32px;
+h1 {
+  font-family: "Roboto Condensed", sans-serif;
+  margin: 0;
+  padding: 0 0 15px 0;
+  font-weight: 700;
+  font-size: 32px;
 }
 
-h2{
-	font-family: 'Roboto Condensed', sans-serif;
-    margin: 0;
-    padding: 15px 0 15px 0;
-    font-weight: 650;
-    font-size: 20px;
+h2 {
+  font-family: "Roboto Condensed", sans-serif;
+  margin: 0;
+  padding: 15px 0 15px 0;
+  font-weight: 650;
+  font-size: 20px;
 }
 
-p{
-	margin: 1px;
-	font-family: 'Roboto', sans-serif;
-	font-size: 19px;
-	padding: 5px 0px 5px 0px;
+p {
+  margin: 1px;
+  font-family: "Roboto", sans-serif;
+  font-size: 19px;
+  padding: 5px 0px 5px 0px;
 }
 
-.psudoCode{
-	font-family: 'Inconsolata', monospace;
-	font-size: 19px;
-	background-color: #D9D9D9;
-	border: 1px solid;
- 	padding: 5px;
-  	box-shadow: 5px 5px #888888;
+.psudoCode {
+  font-family: "Inconsolata", monospace;
+  font-size: 19px;
+  background-color: #d9d9d9;
+  border: 1px solid;
+  padding: 5px;
+  box-shadow: 5px 5px #888888;
 }
 
-a{
-	font-family: 'Inconsolata', monospace;
-	font-size: 19px;
-	background-color: #D9D9D9;
-
+a {
+  font-family: "Inconsolata", monospace;
+  font-size: 19px;
+  background-color: #d9d9d9;
 }
 
-button{
-	background-color: white;
-	border: 2px solid #555555;
-	color: black;
-	padding: 16px 32px;
-	text-align: center;
-	text-decoration: none;
-	display: inline-block;
-	font-size: 16px;
-	margin: 4px 2px;
-	-webkit-transition-duration: 0.4s; /* Safari */
-	transition-duration: 0.4s;
-	cursor: pointer;
-	float:right;
+button {
+  background-color: white;
+  border: 2px solid #555555;
+  color: black;
+  padding: 16px 32px;
+  text-align: center;
+  text-decoration: none;
+  display: inline-block;
+  font-size: 16px;
+  margin: 4px 2px;
+  -webkit-transition-duration: 0.4s; /* Safari */
+  transition-duration: 0.4s;
+  cursor: pointer;
+  float: right;
 }
 
 button:hover {
@@ -58,14 +57,13 @@ button:hover {
   color: white;
 }
 
-.examples{
-	padding: 10px;
+.examples {
+  padding: 10px;
 }
 
-
-html{
-	-webkit-user-select: none; /* Safari */        
-	-moz-user-select: none; /* Firefox */
-	-ms-user-select: none; /* IE10+/Edge */
-	user-select: none; /* Standard */
+html {
+  -webkit-user-select: none; /* Safari */
+  -moz-user-select: none; /* Firefox */
+  -ms-user-select: none; /* IE10+/Edge */
+  user-select: none; /* Standard */
 }